Title :
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
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;
Conference_Titel :
Computer and Information Technology, 2005. CIT 2005. The Fifth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
0-7695-2432-X
DOI :
10.1109/CIT.2005.10
