Sciweavers

WETICE
2005
IEEE

Towards a formal framework for Choreography

13 years 9 months ago
Towards a formal framework for Choreography
— 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.
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where WETICE
Authors Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Comments (0)