Towards a formal framework for choreography

  title={Towards a formal framework for choreography},
  author={Nadia Busi and Roberto Gorrieri and Claudio Guidi and Roberto Lucchi and Gianluigi Zavattaro},
  journal={14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05)},
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… CONTINUE READING
Highly Cited
This paper has 51 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
35 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 35 extracted citations

52 Citations

Citations per Year
Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

Web Services Flow Language (WSFL 1.0). [http://www-

  • F. Leymann
  • Member IBM Academy of Technology, IBM Software…
  • 2001
Highly Influential
4 Excerpts

Microsoft BizTalk Server Web services orchestration and choreography

  • C. Canal Brogi, E. Pimentel, A. Vallecillo, M. Bravetti, G. Zavattaro
  • An Operational Semantics for StAC , a Language…
  • 2004

Similar Papers

Loading similar papers…