Execution semantics for service choreographies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4184 LNCS, Issue , 2006, Pages 163-177

  Decker, Gero ^a   Zaha, Johannes Maria ^b   Dumas, Marion ^b  

^a SAP RESEARCH   (Australia)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

LIFE CYCLE; MATHEMATICAL MODELS; SEMANTICS; TELECOMMUNICATION SERVICES;

CHOREOGRAPHIES; DEVELOPMENT LIFECYCLE; EXECUTION SEMANTICS; SERVICE-ORIENTED SYSTEMS;

WORLD WIDE WEB;

EID: 33845191288     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841197_11     Document Type: Conference Paper

References (15)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, S. Weerawarana: Business Process Execution Language for Web Services, version 1.1, May 2003. http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
2. A. Arkin et al.: Web Service Choreography Interface (WSCI)·1.0, 2002. www.w3.org/TR/wsci/
3. A. Brogi, G. Canal, E. Pimentel, A. Vallecillo: Formalizing Web Service Choreographies. In Proceedings of 1st International Workshop on Web Services and Formal Methods, Pisa, Italy, February 2004, Elsevier.
4. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro: Choreography and Orchestration Conformance for System Design. In Proceedings of 8th International Conference on Coordination Models and Languages (COORDINATION'06), Bologna, Italy, June 2006, Springer Verlag.
5. J. Clark, C. Casanave, K. Kanaskie, B. Harvey, N. Smith, J. Yunker, K. Riemer (Eds.): ebXML Business Process Specification Schema Version 1.01, UN/CEFACT and OASIS Specification, May 2001. http://www.ebxml.org/specs/ebBPSS. pdf
6. R. Hull, J. Su: Tools for composite web services: a short overview. SIGMOD Record 34(2): 86-95, 2005.
7. N. Kavantzas, D. Burdett, G. Ritzinger, Y. Lafon: Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation, November 2005. http://www.w3.org/TR/ws-cdl-10
8. G. Decker, F. Puhlmann, M. Weske: Formalizing Service Interactions. In Proceedings of BPM 2006, Vienna, Austria, 2006, Springer Verlag.
9. R. Milner, J. Parrow, D. Walker: A calculus of mobile processes, Information and Computation, 100:1-40, 1992.
10. F. Puhlmann, M. Weske: Using the π-Calculus for Formalizing Workflow Patterns. In Proceedings of BPM 2005, Nancy, France, September 2005, pp 153-168, Springer Verlag.
11. D. Sangiorgi: A theory of bisimulation for the π-calculus. In Acta Informatica 16(33): 69-97, 1996.
12. B. Victor, F. Moller, M. Dam, L.H. Eriksson: The Mobility Workbench. Uppsala University, 2006. http://www.it.uu.se/research/group/mobility/mwb
13. H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang: A Formal Model for Web Service Choreography Description Language (WS-CDL). Preprint, School of Mathematical Sciences, Peking University, January 2006. www.math.pku.edu.cn:8000/var/ preprint/7021.pdf
14. J. M. Zaha, A. Barros, M. Dumas, A. ter Hofstede: Lets Dance: A Language for Service Behavior Modeling. Preprint # 4468, Faculty of IT, Queensland University of Technology, February 2006. http://eprints.qut.edu.au/archive/ 00004468
15. J. M. Zaha, M. Dumas, A. ter Hofstede, A. Barros, G. Decker: Service Interaction Modeling: Bridging Global and Local Views. In Proceedings of the 10th International EDOC Conference, Hong Kong, 2006.