A formal specification for web services composition and verification

Yuliang Shi; Liang Zhang; Bing Liu; Fangfang Liu; Lili Lin; Baile Shi

doi:10.1109/CIT.2005.10

A formal specification for web services composition and verification

Yuliang Shi, Liang Zhang^*, Bing Liu, Fangfang Liu, Lili Lin, Baile Shi

^*Corresponding author for this work

Research output: Contribution to conference › Conference Paper › peer-review

5 Citations (Scopus)

Abstract

Due to the promising features of web services, their deployment and research are booming. Among them, various techniques for web service composition have been developed. In this paper, we propose a new composition framework We use automata to describe behaviors of web services, Each of underlying web services can interact with others through asynchronous messages passing according to its interaction role (client or server). All these messages are recorded by a virtual global observer and the observation result is just the composition conversation of web services. We also develop a formal a top-down verification mechanism on this framework and provide some realizable conditions for a successful composition.

Original language	English
Pages	252-256
Number of pages	5
DOIs	https://doi.org/10.1109/CIT.2005.10
Publication status	Published - 2005
Externally published	Yes
Event	Fifth International Conference on Computer and Information Technology, CIT 2005 - Shanghai, China Duration: 21 Sept 2005 → 23 Sept 2005

Conference

Conference	Fifth International Conference on Computer and Information Technology, CIT 2005
Country/Territory	China
City	Shanghai
Period	21/09/05 → 23/09/05

Keywords

Conversation
Verification
Web service composition
Web services

Access to Document

10.1109/CIT.2005.10

Cite this

@conference{12dae813ab284967a9c1257636b6d448,

title = "A formal specification for web services composition and verification",

abstract = "Due to the promising features of web services, their deployment and research are booming. Among them, various techniques for web service composition have been developed. In this paper, we propose a new composition framework We use automata to describe behaviors of web services, Each of underlying web services can interact with others through asynchronous messages passing according to its interaction role (client or server). All these messages are recorded by a virtual global observer and the observation result is just the composition conversation of web services. We also develop a formal a top-down verification mechanism on this framework and provide some realizable conditions for a successful composition.",

keywords = "Conversation, Verification, Web service composition, Web services",

author = "Yuliang Shi and Liang Zhang and Bing Liu and Fangfang Liu and Lili Lin and Baile Shi",

year = "2005",

doi = "10.1109/CIT.2005.10",

language = "English",

pages = "252--256",

note = "Fifth International Conference on Computer and Information Technology, CIT 2005 ; Conference date: 21-09-2005 Through 23-09-2005",

}

TY - CONF

T1 - A formal specification for web services composition and verification

AU - Shi, Yuliang

AU - Zhang, Liang

AU - Liu, Bing

AU - Liu, Fangfang

AU - Lin, Lili

AU - Shi, Baile

PY - 2005

Y1 - 2005

N2 - Due to the promising features of web services, their deployment and research are booming. Among them, various techniques for web service composition have been developed. In this paper, we propose a new composition framework We use automata to describe behaviors of web services, Each of underlying web services can interact with others through asynchronous messages passing according to its interaction role (client or server). All these messages are recorded by a virtual global observer and the observation result is just the composition conversation of web services. We also develop a formal a top-down verification mechanism on this framework and provide some realizable conditions for a successful composition.

AB - Due to the promising features of web services, their deployment and research are booming. Among them, various techniques for web service composition have been developed. In this paper, we propose a new composition framework We use automata to describe behaviors of web services, Each of underlying web services can interact with others through asynchronous messages passing according to its interaction role (client or server). All these messages are recorded by a virtual global observer and the observation result is just the composition conversation of web services. We also develop a formal a top-down verification mechanism on this framework and provide some realizable conditions for a successful composition.

KW - Conversation

KW - Verification

KW - Web service composition

KW - Web services

UR - https://www.webofscience.com/wos/woscc/full-record/WOS:000233234000041

UR - https://www.scopus.com/pages/publications/33746924415

U2 - 10.1109/CIT.2005.10

DO - 10.1109/CIT.2005.10

M3 - Conference Paper

SP - 252

EP - 256

T2 - Fifth International Conference on Computer and Information Technology, CIT 2005

Y2 - 21 September 2005 through 23 September 2005

ER -

A formal specification for web services composition and verification

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this