Choreography and Orchestration Conformance for System Design

  • Nadia Busi
  • Roberto Gorrieri
  • Claudio Guidi
  • Roberto Lucchi
  • Gianluigi Zavattaro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4038)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BBM+05]
    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)CrossRefGoogle Scholar
  2. [BGG+05]
    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)CrossRefGoogle Scholar
  3. [BGJ+05]
    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)CrossRefGoogle Scholar
  4. [CHYa]
    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. [CHYb]
    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. [DD04]
    Dijkman, R., Dumas, M.: Service-oriented design: A multi-viewpoint approach. Int. J. Cooperative Inf. Syst. 13(4), 337–368 (2004)CrossRefGoogle Scholar
  7. [GGL05]
    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)CrossRefGoogle Scholar
  8. [HM05]
    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)CrossRefGoogle Scholar
  9. [Kel76]
    Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371–384 (1976)MATHCrossRefGoogle Scholar
  10. [Mil89]
    Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)MATHGoogle Scholar
  11. [OAS]
    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]
    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/

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Nadia Busi
    • 1
  • Roberto Gorrieri
    • 1
  • Claudio Guidi
    • 1
  • Roberto Lucchi
    • 1
  • Gianluigi Zavattaro
    • 1
  1. 1.Department of Computer ScienceUniversity of BolognaItaly

Personalised recommendations