An Efficient Approach to Compose Web Services

Authors:
Hongbing Wang;Hui Liu;Xiaohui Guo
Affiliations:
-;-;-
Venue:
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Year:
2008

Citing 4
Cited 0

The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Current Solutions for Web Service Composition

IEEE Internet Computing
Finite State Automata As Conceptual Model For E-Services

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

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.