Skip to main content
Springer Nature Link
Log in

Contract-Driven Implementation of Choreographies

  • Conference paper
Trustworthy Global Computing (TGC 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5474))

Included in the following conference series:

Abstract

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.

Research partially funded by EU Integrated Project Sensoria, contract n. 016004.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  4. Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4), 451–478 (2008)

    MathSciNet  MATH  Google Scholar 

  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. European Integrated project SENSORIA. Web site, http://www.sensoria-ist.eu

  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)

    Chapter  Google Scholar 

  8. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)

    MATH  Google Scholar 

  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. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  11. OASIS. Web Services Business Process Execution Language Version 2.0 OASIS Standard, http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf

  12. Rensink, A., Vogler, W.: Fair testing. Information and Computation 205(2), 125–198 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  13. World Wide Web Consortium. Web Services Choreography Description Language Version 1.0, http://www.w3.org/TR/ws-cdl-10/

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Bologna, Italy

    Mario Bravetti, Ivan Lanese & Gianluigi Zavattaro

Authors
  1. Mario Bravetti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ivan Lanese
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gianluigi Zavattaro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Engineering and Informatics, University of Patras and RA CTI, 26500, Rion, Greece

    Christos Kaklamanis

  2. Department of Informatics and Mathematical Modelling, Richard Pedersens Plads, Technical University of Denmark, 2800, Kongens Lyngby, Denmark

    Flemming Nielson

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bravetti, M., Lanese, I., Zavattaro, G. (2009). Contract-Driven Implementation of Choreographies. In: Kaklamanis, C., Nielson, F. (eds) Trustworthy Global Computing. TGC 2008. Lecture Notes in Computer Science, vol 5474. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00945-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-00945-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-00944-0

  • Online ISBN: 978-3-642-00945-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics