Choreographing web services

IEEE Transactions on Services Computing

Volumn 2, Issue 2, 2009, Pages 152-166

  Barker, Adam ^a   Walton, Christopher D ^b   Robertson, David ^c  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b Metaforic Ltd   (United Kingdom)

^c UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Web service choreography; Workflow

Indexed keywords

CENTRALIZED SERVER; DATA FLOW; EXECUTABLE SPECIFICATIONS; FOCAL POINTS; FORMAL FOUNDATION; MULTI-AGENT; OPEN SOURCE FRAMEWORKS; PROCESS LANGUAGES; RUNTIMES; SERVICE INTERACTION; WEB SERVICE CHOREOGRAPHY; WORKFLOW; WORKFLOW PATTERNS;

INTERNET PROTOCOLS; LINGUISTICS; MANAGEMENT; MOTIVATION; QUERY LANGUAGES; SEMANTIC WEB; WEB SERVICES;

MODEL CHECKING;

EID: 68249152019     PISSN: 19391374     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSC.2009.8     Document Type: Article

References (39)

1. Interaction Protocol Specifications, technical report, Foundation for Intelligent Physical Agents, http://www.fipa.org/repository/ips.php3, 2002.
2. Business Process Modeling Notation (BPMN) Specification, technical report, Object Management Group (OMG), http://www.omg.org/spec/BPMN/1.1/ PDF, 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 WSCDL for Choreography Modeling," Proc. Methoden, Konzepte und Technologien fur 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 WSCDL 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 Peerto-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.