This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Conference on Computer and Information Technology (CIT'05)
A Formal Specification for Web Services Composition and Verification
Shanghai, China
September 21-September 23
ISBN: 0-7695-2432-X
ASCII Text
x 
 
Yuliang Shi, Liang Zhang, Bing Liu, Fangfang Liu, Lili Lin, Baile Shi, "A Formal Specification for Web Services Composition and Verification," Computer and Information Technology, International Conference on, pp. 252-256, Fifth International Conference on Computer and Information Technology (CIT'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/CIT.2005.10,
author = {Yuliang Shi and Liang Zhang and Bing Liu and Fangfang Liu and Lili Lin and Baile Shi},
title = {A Formal Specification for Web Services Composition and Verification},
journal ={Computer and Information Technology, International Conference on},
volume = {0},
year = {2005},
isbn = {0-7695-2432-X},
pages = {252-256},
doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2005.10},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer and Information Technology, International Conference on
TI - A Formal Specification for Web Services Composition and Verification
SN - 0-7695-2432-X
SP252
EP256
A1 - Yuliang Shi,
A1 - Liang Zhang,
A1 - Bing Liu,
A1 - Fangfang Liu,
A1 - Lili Lin,
A1 - Baile Shi,
PY - 2005
KW - web services
KW - web service composition
KW - conversation
KW - verification
VL - 0
JA - Computer and Information Technology, International Conference on
ER -
 
Yuliang Shi, Fudan University
Liang Zhang, Fudan University
Bing Liu, Fudan University
Fangfang Liu, Fudan University
Lili Lin, Fudan University
Baile Shi, Fudan University

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.

Index Terms:
web services, web service composition, conversation, verification
Citation:
Yuliang Shi, Liang Zhang, Bing Liu, Fangfang Liu, Lili Lin, Baile Shi, "A Formal Specification for Web Services Composition and Verification," cit, pp.252-256, Fifth International Conference on Computer and Information Technology (CIT'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.