Contract-Driven Implementation of Choreographies

  • Mario Bravetti
  • Ivan Lanese
  • Gianluigi Zavattaro
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5474)


Choreographies and Contracts are important concepts in Service Oriented Computing. Choreographies are the description of the behaviour of a service system from a global point of view, while contracts are the description of the externally observable message-passing behaviour of a given service. Exploiting some of our previous results about choreography projection and contract refinement, we show how to solve the problem of implementing a choreography via the composition of already available services that are retrieved according to their contracts.


Parallel Composition Label Transition System Connectedness Condition Service Orient Computing Nondeterministic Choice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bravetti, M., Zavattaro, G.: Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34–50. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  2. 2.
    Bravetti, M., Zavattaro, G.: Contract based multi-party service composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 207–222. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  3. 3.
    Bravetti, M., Zavattaro, G.: A theory for strong service compliance. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 96–112. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4), 451–478 (2008)MathSciNetzbMATHGoogle Scholar
  5. 5.
    Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. In: WS-FM 2008. LNCS. Springer, Heidelberg (2008)Google Scholar
  6. 6.
    European Integrated project SENSORIA. Web site,
  7. 7.
    Fournet, C., Hoare, S.T., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 242–254. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  8. 8.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)zbMATHGoogle Scholar
  9. 9.
    Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between Interaction- and Process-Oriented Choreographies. In: SEFM 2008. IEEE Computer Society Press, Los Alamitos (2008)Google Scholar
  10. 10.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar
  11. 11.
    OASIS. Web Services Business Process Execution Language Version 2.0 OASIS Standard,
  12. 12.
    Rensink, A., Vogler, W.: Fair testing. Information and Computation 205(2), 125–198 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    World Wide Web Consortium. Web Services Choreography Description Language Version 1.0,

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Mario Bravetti
    • 1
  • Ivan Lanese
    • 1
  • Gianluigi Zavattaro
    • 1
  1. 1.Department of Computer ScienceUniversity of BolognaItaly

Personalised recommendations