A Formal Specification for Web Services Composition and Verification

Author

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

Author_Institution

Dept. of Comput. & Inf. Technol., Fudan Univ., Shanghai

fYear

2005

fDate

21-23 Sept. 2005

Firstpage

252

Lastpage

256

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

Internet; automata theory; formal specification; formal verification; message passing; Web service composition conversation; asynchronous messages passing; automata theory; formal specification; formal verification; Automata; Collaboration; Formal specifications; Information technology; Message passing; Proposals; Software systems; Supply chains; Travel services; Web services; conversation; verification; web service composition; web services;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Information Technology, 2005. CIT 2005. The Fifth International Conference on

Conference_Location

Shanghai

Print_ISBN

0-7695-2432-X

Type

conf

DOI

10.1109/CIT.2005.10

Filename

1562659