The Community for Technology Leaders
Computer and Information Technology, International Conference on (2005)
Shanghai, China
Sept. 21, 2005 to Sept. 23, 2005
ISBN: 0-7695-2432-X
pp: 252-256
Yuliang Shi , Fudan University
Liang Zhang , Fudan University
Bing Liu , Fudan University
Fangfang Liu , Fudan University
Lili Lin , Fudan University
Baile Shi , Fudan University
ABSTRACT
<p>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.</p>
INDEX TERMS
web services, web service composition, conversation, verification
CITATION

Y. Shi, B. Shi, L. Lin, B. Liu, L. Zhang and F. Liu, "A Formal Specification for Web Services Composition and Verification," Computer and Information Technology, International Conference on(CIT), Shanghai, China, 2005, pp. 252-256.
doi:10.1109/CIT.2005.10
90 ms
(Ver 3.3 (11022016))