Title :
An Efficient Approach to Compose Web Services
Author :
Wang, Hongbing ; Liu, Hui ; Guo, Xiaohui
Author_Institution :
Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing
Abstract :
An intensive work has been done for designing efficient algorithms for combining a series of Web services. However, existing solutions for Web services composition fail to present a specific method which can guide us to compose multiple services step by step. In this paper, we propose an efficient approach to address this issue. We employ Temporal Logic of Actions (TLA) to describe the behavior of services and design an algorithm to cope with the issue. Furthermore, our approach is a formal one when compared with current solutions based on BPEL, WS-CDL, OWL-S, etc. Besides, the approach can be used to both composition and verification while Petri net based method can not.
Keywords :
Web services; temporal logic; Web services; service-oriented computing; temporal logic of actions; Algorithm design and analysis; Collaboration; Computer science; Design engineering; Intelligent agent; Logic design; OWL; Proposals; Web and internet services; Web services; Web services; preference logic; reinforcement learning;
Conference_Titel :
Web Intelligence and Intelligent Agent Technology, 2008. WI-IAT '08. IEEE/WIC/ACM International Conference on
Conference_Location :
Sydney, NSW
Print_ISBN :
978-0-7695-3496-1
DOI :
10.1109/WIIAT.2008.223
