[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Choreography and Orchestration Conformance for System Design

  • Conference paper
Coordination Models and Languages (COORDINATION 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4038))

Included in the following conference series:

  • 413 Accesses

Abstract

In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.

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. Baldoni, M., Badoglio, C., Martelli, A., Patti, V., Schifanella, C.: Verifying the conformance of web services to global interaction protocols: A first step. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 257–271. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  2. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Berg, T., Grinchtein, O., Jonsson, B., Leucker, M., Raffelt, H., Steffen, B.: On the Correspondence Between Conformance Testing and Regular Inference. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 175–189. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Carbone, M., Honda, K., Yoshida, N.: Programming interaction with types. W3C WS-CDL WG London F2F (June 14, 2002), http://www.w3.org/2002/ws/chor/5/06/F2FJune14.pdf

  5. Carbone, M., Honda, K., Yoshida, N.: A theoretical basis of communication-centred concurrent programming. Posted at w3-chor mailing list (November 2005)

    Google Scholar 

  6. Dijkman, R., Dumas, M.: Service-oriented design: A multi-viewpoint approach. Int. J. Cooperative Inf. Syst. 13(4), 337–368 (2004)

    Article  Google Scholar 

  7. Gorrieri, R., Guidi, C., Lucchi, R.: Reasoning on the interaction patterns in choreography. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 333–348. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  8. Heckel, R., Mariani, L.: Automatic Conformance Testing of Web Services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 34–48. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  9. Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371–384 (1976)

    Article  MATH  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, Working Draft, http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification-draft-120204.htm

  12. W3C. Web Services Choreography Description Language Version 1.0. Working draft (December 17, 2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/

Download references

Author information

Authors and Affiliations

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

    Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi & Gianluigi Zavattaro

Authors
  1. Nadia Busi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roberto Gorrieri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Claudio Guidi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Roberto Lucchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Gianluigi Zavattaro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. CS Dept, University of Bologna, Mura Zamboni 7, 40126, Bologna, Italy

    Paolo Ciancarini

  2. Imperial College London, 180 Queen’s Gate, SW7 2AZ, London, UK

    Herbert Wiklicky

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G. (2006). Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds) Coordination Models and Languages. COORDINATION 2006. Lecture Notes in Computer Science, vol 4038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767954_5

Download citation

  • DOI: https://doi.org/10.1007/11767954_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-34694-4

  • Online ISBN: 978-3-540-34695-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation