Issue No.02 - April-June (2009 vol.2)
pp: 152-166
Adam Barker , University of Oxford, Oxford
Christopher D. Walton , Metaforic Ltd., Glascow
David Robertson , The University of Edinburgh, Edinburgh
This paper introduces the Multiagent Protocols (MAP) Web service choreography language and demonstrates how service choreographies can be specified, verified, and enacted with a comparatively simple process language. MAP is a directly executable specification, services do not have to be preconfigured at design-time. Instead, a choreography, specified in MAP, can be sent dynamically to a group of distributed peers to execute at runtime. Furthermore, MAP is based on a formal foundation, this allows model checking of the choreography definition prior to live distribution and enactment. A motivating scenario, taken from the AstroGrid science use-cases, serves as the focal point for the paper and highlights the benefits of choreography, through data flow optimization and lack of centralized server. The MAP formal syntax and model checking environment are discussed in the context of the motivating scenario, along with MagentA, an implementation of MAP which provides a concrete, and open-source framework for the enactment of distributed choreographies. MAP is evaluated by demonstrating the languages conformance to the Service Interaction Patterns, a collection of 13 recurring workflow patterns.
Workflow, Web service choreography.
Adam Barker, Christopher D. Walton, David Robertson, "Choreographing Web Services", IEEE Transactions on Services Computing, vol.2, no. 2, pp. 152-166, April-June 2009, doi:10.1109/TSC.2009.8
[1] Interaction Protocol Specifications, technical report, Foundation for Intelligent Physical Agents,, 2002.
[2] Business Process Modeling Notation (BPMN) Specification, technical report, Object Management Group (OMG),, 2006.
[3] A. Barker and J. van Hemert, “Scientific Workflow: A Survey and Research Directions,” Proc. Seventh Int'l Conf. Parallel Processing and Applied Math., Revised, Selected Papers, R. Wyrzykowski et al., eds., pp. 746-753, 2008.
[4] A. Barker, J.B. Weissman, and J. van Hemert, “Eliminating the Middle Man: Peer-to-Peer Dataflow,” Proc. 17th Int'l Symp. High Performance Distributed Computing (HPDC '08), pp. 55-64, 2008.
[5] A. Barker, J.B. Weissman, and J. van Hemert, “Orchestrating Data-Centric Workflows,” Proc. Eighth IEEE Int'l Symp. Cluster Computing and the Grid (CCGrid '08), pp. 210-217, 2008.
[6] A. Barros, M. Dumas, and P. Oaks, “A Critical Overview of the Web Services Choreography Description Language (WS-CDL),” BPTrends Newsletter 3, 2005.
[7] A. Barros, M. Dumas, and A. ter Hofstede, “Service Interaction Patterns,” Proc. Third Int'l Conf. Business Process Management, pp.302-318, 2005.
[8] M. Benerecetti, F. Giunchiglia, and L. Serafini, “Model Checking Multiagent Systems,” J. Logic and Computation, vol. 8, no. 3, pp.401-423, 1998.
[9] E. Bertin and S. Arnouts, “Sextractor: Software for Source Extraction,” Astronomy and Astrophysics Supplement Series, vol. 117, pp. 393-404, 1996.
[10] R.H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge, “Model Checking AgentSpeak,” Proc. Second Int'l Conf. Autonomous Agents and Multiagent Systems (AAMAS '03), 2003.
[11] R.H. Bordini, M. Fisher, W. Visser, and M.J. Wooldridge, “State-Space Reduction Techniques in Agent Verification,” Proc. Third Int'l Conf. Autonomous Agents and Multiagent Systems (AAMAS '04), pp.896-903, 2004.
[12] E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking. MIT Press, 1999.
[13] G. Decker and A. Barros, “Interaction Modeling Using BPMN,” Proc. First Int'l Workshop Collaborative Business Processes (CBP '07), pp.206-217, 2007.
[14] G. Decker, M. Kirov, J.M. Zaha, and M. Dumas, “Maestro for Let's Dance: An Environment for Modeling Service Interactions,” Proc. Demonstration Session of the Fourth Int'l Conf. Business Process Management (BPM '06), 2006.
[15] G. Decker, O. Kopp, F. Leymann, and M. Weske, “BPEL4Chor: Extending BPEL for Modeling Choreographies,” Proc. IEEE Int'l Conf. Web Services (ICWS '07), pp. 296-303, 2007.
[16] G. Decker, H. Overdick, and J.M. Zaha, “On the Suitability of WS-CDL for Choreography Modeling,” Proc. Methoden, Konzepte und Technologien für die Entwicklung von Dienstebasierten Informationssystemen (EMISA '06), pp 21-34, 2006.
[17] G. Decker and F. Puhlmann, “Extending BPMN for Modeling Complex Choreographies,” Proc. 15th Int'l Conf. Cooperative Information Systems (CoopIS '07), pp. 24-40, 2007.
[18] G. Decker and M. Weske, “Local Enforceability in Interaction Petri Nets,” Proc. Fifth Int'l Conf. Business Process Management, pp. 305-319, 2007.
[19] G. Decker, J.M. Zaha, and M. Dumas, “Execution Semantics for Service Choreographies,” Proc. Third Int'l Workshop Web Services and Formal Methods (WS-FM '06), pp. 163-177, 2006.
[20] L. Fredlund, “Implementing WS-CDL,” Proc. Second Spanish Workshop Web Technologies (JSWEB '06), 2006.
[21] D. Hollingsworth, The Workflow Reference Model. Workflow Management Coalition, 1995.
[22] G.J. Holzmann, The SPIN Model Checker: Primer and Reference Manual. Addison Wesley, 2003.
[23] Z.Y. Hongli and Q. Zongyan, “A Formal Model of the Web Service Choreography Description Language (WS-CDL),” technical report, Dept. of Informatics, Peking Univ., 2006.
[24] Z. Kang, W. Hongbing, and P.C. Hung, “WS-CDL+ for Web Service Collaboration,” Information Systems Frontiers, vol. 9, no. 4, pp.375-389, 2007.
[25] Z. Kang, H. Wang, and P.C. Hung, “WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration,” Proc. IEEE Int'l Conf. Web Services (ICWS '07), pp. 928-935, 2007.
[26] K. Karasavvas, M. Antonioletti, M. Atkinson, N.C. Hong, T. Sugden, A. Hume, M. Jackson, A. Krause, and C. Palansuriya, Introduction to OGSA-DAI Services, vol. 3458, pp. 1-12, 2005.
[27] N. Kavantzas, D. Burdett, G. Ritzinger, and Y. Lafon, Web Services Choreography Description Language (WS-CDL) Version 1.0. W3C Candidate Recommendation, 2005.
[28] S. Kotoulas and R. Siebes, “Adaptive Routing in Structured Peer-to-Peer Overlays,” Proc. Third Int'l IEEE Workshop Collaborative Service-Oriented P2P Information Systems (Convective and Orographically-induced Precipitation Study (COPS) Workshops Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE '07)), 2007.
[29] S. Krishnan, P. Wagstrom, and G.V. Laszewski, “GSFL: A Workflow Framework for Grid Services,” technical report, Argonne Nat'l Laboratory, 2002.
[30] N. Lohmann, O. Kopp, F. Leymann, and W. Reisig, “Analyzing BPEL4Chor: Verification and Participant Synthesis,” Proc. Fourth Int'l Workshop Web Services and Formal Methods (WS-FM '08), M.Dumas and R. Heckel, eds., pp. 46-60, 2008.
[31] D. Martin, D. Wutke, and F. Leymann, “A Novel Approach to Decentralized Workflow Enactment,” Proc. 12th Int'l IEEE Conf. Enterprise Distributed Object Computing (EDOC '08), pp. 127-136, 2008.
[32] R. Milner, J. Parrow, and W. David, “A Calculus of Mobile Processes Pt.1,” Information and Computation, vol. 100, no. 1, pp. 1-77, 1992.
[33] T. Oinn, M. Addis, J. Ferris, D. Marvin, M. Senger, M. Greenwood, T. Carver, K. Glover, M.R. Pocock, A. Wipat, and P. Li, “Taverna: A Tool for the Composition and Enactment of Bioinformatics Workflows,” Bioinformatics, vol. 20, pp. 3045-3054, 2004.
[34] S. Ross-Talbot, “Orchestration and Choreography: Standards, Tools and Technologies for Distributed Workflows,” Proc. Workshop Network Tools and Applications in Biology (NETTLAB '05), 2005.
[35] I. Taylor, M. Shields, I. Wang, and R. Philp, “Distributed P2P Computing within Triana: A Galaxy Visualization Test Case,” Proc. 17th Int'l Parallel and Distributed Processing Symp. (IPDPS '03), pp.16-27, 2003.
[36] The OASIS Committee, Web Services Business Process Execution Language (WS-BPEL) Version 2.0. 2007.
[37] C.D. Walton, “Verifiable Agent Dialogues,” J. Applied Logic, vol. 5, no. 2, pp. 197-213, 2007.
[38] M. Wooldridge, M. Fisher, M.P. Huget, and S. Parsons, “Model Checking Multiagent Systems with MABLE,” Proc. First Int'l Conf. Autonomous Agents and Multiagent Systems (AAMAS '02), 2002.
[39] J.M. Zaha, A. Barros, M. Dumas, and A. ter Hofstede, “Let's Dance: A Language for Service Behavior Modeling,” Proc. On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated Int'l Confs., R. Meersman and Z. Tari, eds., pp.145-162, 2006.