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.
Research partially funded by EU Integrated Project Sensoria, contract n. 016004.
Chapter PDF
Similar content being viewed by others
References
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)
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)
Dijkman, R., Dumas, M.: Service-oriented Design: a Multi-viewpoint Approach. Int. J. Cooperative Inf. Syst. 13(4), 337–368 (2004)
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)
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/
Keller, R.M.: Formal verification of parallel programs. Commun. ACM 19(7), 371–384 (1976)
Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming (to appear)
Misra, J., Cook, W.: Computation orchestration, a basis for wide-area computing. Journal of Software and Systems modeling (2006) (to appear)
Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java Orchestration Language Interpreter Engine. In: CoOrg 2006 (2006) to appear of ENTCS
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
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)
World Wide Web Consortium. Web Services Description Language (WSDL) 1.1, http://www.w3.org/TR/wsdl
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G. (2006). SOCK: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds) Service-Oriented Computing – ICSOC 2006. ICSOC 2006. Lecture Notes in Computer Science, vol 4294. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11948148_27
Download citation
DOI: https://doi.org/10.1007/11948148_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68147-2
Online ISBN: 978-3-540-68148-9
eBook Packages: Computer ScienceComputer Science (R0)