Advertisement

SOCK: A Calculus for Service Oriented Computing

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

Abstract

Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the main concepts it is based upon. In this paper we propose SOCK, a three-layered calculus equipped with a formal semantics, for addressing all the basic mechanisms of service communication and composition. The main contribute of our work is the development of a formal framework where the service design is decomposed into three fundamental parts: the behaviour, the declaration and the composition where each part can be designed independently of the other ones.

References

  1. 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
  2. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. Dijkman, R., Dumas, M.: Service-oriented Design: a Multi-viewpoint Approach. Int. J. Cooperative Inf. Syst. 13(4), 337–368 (2004)CrossRefGoogle Scholar
  4. Guidi, C., Lucchi, R.: Mobility mechanisms in service oriented computing. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 233–250. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. Guidi, C., Lucchi, R., Zavattaro, G., Busi, N., Gorrieri, R.: Technical Report UBLCS-2006-20, Dep. of Computer Science, Univ. of Bologna (2006), http://www.cs.unibo.it/research/reports/
  6. Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371–384 (1976)zbMATHCrossRefGoogle Scholar
  7. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming (to appear)Google Scholar
  8. Misra, J., Cook, W.: Computation orchestration, a basis for wide-area computing. Journal of Software and Systems modeling (2006) (to appear)Google Scholar
  9. Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java Orchestration Language Interpreter Engine. In: CoOrg 2006 (2006) to appear of ENTCSGoogle Scholar
  10. 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
  11. Viroli, M.: Towards a Formal Foundation to Orchestration Languages. In: Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004). ENTCS, vol. 105, Elsevier, Amsterdam (2004)Google Scholar
  12. World Wide Web Consortium. Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/wsdl

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations