Transforming BPEL into annotated deterministic finite state automata for service discovery

Web services advocate loosely coupled systems, although current loosely coupled applications are limited to stateless services. The reason for this limitation is the lack of a method supporting matchmaking of state dependent services exemplarily specified in BPEL. In particular, the sender's requirement that the receiver must support all possible messages sent at a certain state are not captured by models currently used for service discovery. Annotated deterministic finite state automata provide this expressiveness. In this paper the transformation of a local process specification given in BPEL to annotated deterministic finite state automata is presented.

[1]  W.M.P. van der Aalst,et al.  Don't go with the flow: web services composition standards exposed , 2003 .

[2]  Anne H. H. Ngu,et al.  AgFlow: Agent-based Cross-Enterprise Workflow Management System , 2001, VLDB.

[3]  Tony Andrews Business Process Execution Language for Web Services Version 1.1 , 2003 .

[4]  Anura Gurugé,et al.  Universal Description, Discovery, and Integration , 2004 .

[5]  Erich J. Neuhold,et al.  Matchmaking for business processes based on choreographies , 2004, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004.

[6]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[7]  Marco Pistore,et al.  A Request Language for Web-Services Based on Planning and Constraint Satisfaction , 2002, TES.

[8]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[9]  Erich J. Neuhold,et al.  IPSI-PF: a business process matchmaking engine , 2004, Proceedings. IEEE International Conference on e-Commerce Technology, 2004. CEC 2004..

[10]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[11]  Matthias Klusch,et al.  Matchmaking among Heterogeneous Agents on the Internet , 1999 .

[12]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[13]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[14]  Jerry R. Hobbs,et al.  DAML-S: Web Service Description for the Semantic Web , 2002, SEMWEB.

[15]  Massimo Mecella,et al.  Compatibility of e -Services in a Cooperative Multi-platform Environment , 2001, TES.

[16]  Santosh K. Shrivastava,et al.  Contract representation for run-time monitoring and enforcement , 2003, EEE International Conference on E-Commerce, 2003. CEC 2003..

[17]  Asit Dan,et al.  A Service Level Agreement Language for Dynamic Electronic Services , 2003, Electron. Commer. Res..