DocumentCode
1809577
Title
Describing and Verifying Web Service Composition Using TLA Reasoning
Author
Wang, Hongbing ; Zhou, Qianzhao ; Shi, Yanqi
Author_Institution
Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China
fYear
2010
fDate
5-10 July 2010
Firstpage
234
Lastpage
241
Abstract
Web service composition is the process of integrating multiple independent Web Services into a coherent system that performs complex functions. This paper proposes an effective method for performing Web service composition and verification. We use Temporal Logic of Actions (TLA) to model Web services, composition patterns and users´ requests. Based on the models, composition can be created by conducting TLA reasoning. The correctness of composition result can also be verified by checking whether the resulted TLA formula implements a user´s request. A case study was conducted to illustrate the correctness of our approach.
Keywords
Web services; program verification; temporal logic; TLA reasoning; coherent system; complex functions; temporal logic of actions; web service composition verification; Cognition; Indium phosphide; Input variables; Ontologies; Unified modeling language; Web services; Wireless sensor networks; OWL-S; TLA; Web service; service composition; verifying;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing (SCC), 2010 IEEE International Conference on
Conference_Location
Miami, FL
Print_ISBN
978-1-4244-8147-7
Electronic_ISBN
978-0-7695-4126-6
Type
conf
DOI
10.1109/SCC.2010.28
Filename
5557237
Link To Document