Towards a formal framework for Choreography

Authors:
Nadia Busi;Roberto Gorrieri;Claudio Guidi;Roberto Lucchi;Gianluigi Zavattaro
Affiliations:
Department of Computer Science Mura Anteo Zamboni, 7, Italy;Department of Computer Science Mura Anteo Zamboni, 7, Italy;Department of Computer Science Mura Anteo Zamboni, 7, Italy;Department of Computer Science Mura Anteo Zamboni, 7, Italy;Department of Computer Science Mura Anteo Zamboni, 7, Italy
Venue:
WETICE '05 Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise
Year:
2005

Citing 0
Cited 9

JOLIE: a Java Orchestration Language Interpreter Engine

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

Electronic Notes in Theoretical Computer Science (ENTCS)
Service composition

Service research challenges and solutions for the future internet
Towards the semantics for web service choreography description language

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Type checking choreography description language

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Choreography and orchestration: a synergic approach for system design

ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Reasoning about interaction patterns in choreography

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A logical view of choreography

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Algorithms for checking channel passing in web service choreography

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for the description of choreographies . A choreography defines the collaborations between interacting services: more precisely, it specifies a contract containing a "global" definition of the common ordering conditions and constraints under which messages are exchanged in a services conversation. In this paper, starting from the analysis of the main aspects of Web services technology, we propose a simple choreography language, equipped with a formal semantics, which is intended as the starting point for the development of a framework for the design and analysis of choreographies in Service Oriented Computing.