An Efficient Approach to Compose Web Services

Author

Wang, Hongbing ; Liu, Hui ; Guo, Xiaohui

Author_Institution

Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing

Volume

3

fYear

2008

fDate

9-12 Dec. 2008

Firstpage

538

Lastpage

541

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WIIAT.2008.223

Filename

4740837