Engineering a BPEL orchestration engine as a multi-agent system

The BPEL language is currently the primary candidate for standardising Web Services orchestration. BPEL specifications are meant to be run by BPEL orchestration engines, which are therefore crucial components of today's business-to-business infrastructures, carrying the burden of dynamically composing existing services. In this paper, we present the design of a BPEL orchestration engine based on a multi-agent system: while the basic BPEL activities are autonomously executed by agents, workflow aspects are realised by the mediation of ReSpecT tuple centres, a coordination model extending Linda with the ability of declaratively programming the tuple space behaviour. Our architecture separates the interaction, correlation, and workflow concerns into clearly identified tiers. In particular, we identify the workflow tier as the one encapsulating the core and most critical behaviour of the engine: due to its intrinsic complexity, we tackle its design formally. We introduce a core algebraic language of BPEL dealing with its workflow-related aspects, and provide it with a semantics based on a mapping into a net specification, modelling the dependencies between the activities to be executed by the engine. This mapping plays the role of a formal design, since it directly leads to an implementation of the workflow tier in the orchestration engine.

[1]  Antonio Vallecillo,et al.  Formalizing WSBPEL Business Processes Using Process Algebra , 2006, Electron. Notes Theor. Comput. Sci..

[2]  Andrea Omicini,et al.  From tuple spaces to tuple centres , 2001, Sci. Comput. Program..

[3]  Maciej Koutny,et al.  A Unified Model for Nets and Process Algebras , 2001, Handbook of Process Algebra.

[4]  NICHOLAS R. JENNINGS,et al.  An agent-based approach for building complex software systems , 2001, CACM.

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

[6]  Manuel Mazzara,et al.  A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..

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

[8]  Michael J. Butler,et al.  A Process Compensation Language , 2000, IFM.

[9]  Wolfgang Reisig,et al.  Compensation in Workflow Nets , 2006, ICATPN.

[10]  Amy L. Murphy,et al.  LIME: Linda meets mobility , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[11]  Franck van Breugel,et al.  Modelling and verifying web service orchestration by means of the concurrency workbench , 2004, SOEN.

[12]  C. Peltz,et al.  Web Services Orchestration and Choreography , 2003, Computer.

[13]  Wolfgang Reisig.  Modeling- and Analysis Techniques for Web Services and Business Processes , 2005, FMOODS.

[14]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[15]  Mirko Viroli.  A core calculus for correlation in orchestration languages , 2007, J. Log. Algebraic Methods Program..

[16]  Laura Bocchi,et al.  A Calculus for Long-Running Transactions , 2003, FMOODS.

[17]  Mirko Viroli,et al.  Towards a Formal Foundation to Orchestration Languages , 2004, WSFM.

[18]  Andrea Omicini,et al.  Virtual Enterprises and Workflow Management As Agent Coordination Issues , 2002, Int. J. Cooperative Inf. Syst..

[19]  Andrea Omicini,et al.  On the expressive power of a language for programming coordination media , 1998, SAC '98.

[20]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[21]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[22]  Ernst-Rüdiger Olderog,et al.  Nets, terms and formulas , 1991 .

[23]  Thomas Erl,et al.  Service-Oriented Architecture: Concepts, Technology, and Design , 2005 .

[24]  Alessandro Ricci,et al.  Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS , 2005, Informatica.

[25]  B. Nardi.  Context and consciousness: activity theory and human-computer interaction , 1995 .

[26]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[27]  Farhad Arbab,et al.  Coordination and composition in multi-agent systems , 2005, AAMAS '05.

[28]  Manuel Mazzara,et al.  A Framework for Generic Error Handling in Business Processes , 2004, Electron. Notes Theor. Comput. Sci..

[29]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[30]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.