Core Calculi for Service-Oriented Computing

  • Luís Caires
  • Rocco De Nicola
  • Rosario Pugliese
  • Vasco T. Vasconcelos
  • Gianluigi Zavattaro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6582)


Core calculi have been adopted in the Sensoria project with three main aims. First of all, they have been used to clarify and formally define the basic concepts that characterize the Sensoria approach to the modeling of service-oriented applications. In second place, they are formal models on which the Sensoria analysis techniques have been developed. Finally, they have been used to drive the implementation of the prototypes of the Sensoria languages for programming actual service-based systems. This chapter reports about the Sensoria core calculi presenting their syntax and intuitive semantics, and describing their main features by means of a common running example, namely a Credit Request scenario taken from the Sensoria Finance case study.


Parallel Composition Service Instance Service Engine Conversation Context Business Process Modeling Notation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BBC+06]
    Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: a service centered calculus. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. [BBDL08]
    Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19–38. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. [BGG+06]
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 63–81. Springer, Heidelberg (2006)Google Scholar
  4. [BHF04]
    Butler, M.J., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) CSP 2005. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. [BNNP08]
    Bauer, J., Nielson, F., Nielson, H.R., Pilegaard, H.: Relational Analysis of Correlation. In: Alpuente, M., Vidal, G. (eds.) SAS 2008. LNCS, vol. 5079, pp. 32–46. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. [CG98]
    Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  7. [CHY+06]
    Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A Theoretical Basis of Communication–Centred Concurrent Programming. Technical report, WCDL-Working Note (2006)Google Scholar
  8. [CLM+07]
    Cruz-Filipe, L., Lanese, I., Martins, F., Ravara, A., Vasconcelos, V.T.: Bisimulations in SSCC. DI/FCUL TR 07–37, Department of Informatics, University of Lisbon (December 2007)Google Scholar
  9. [CLM+08]
    Cruz-Filipe, L., Lanese, I., Martins, F., Ravara, A., Vasconcelos, V.T.: Behavioural theory at work: program transformations in a service-centred calculus. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 59–77. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. [CV09]
    Caires, L., Vieira, H.T.: Conversation Types. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 285–300. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  11. [GLMZ08]
    Guidi, C., Lanese, I., Montesi, F., Zavattaro, G.: On the interplay between fault handling and request-response service invocations. In: ACSD 2008, pp. 190–198. IEEE, Los Alamitos (2008)Google Scholar
  12. [GMLZ07]
    Guidi, C., Montesi, F., Lanese, I., Zavattaro, G.: Dynamic fault handling for service oriented applications. In: ECOWS 2008, pp. 225–234. IEEE, Los Alamitos (2007)Google Scholar
  13. [HVK98]
    Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  14. [HYC08]
    Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types. In: POPL 2008, pp. 273–284. ACM, New York (2008)Google Scholar
  15. [JOL]
    JOLIE: website,
  16. [Lap08]
    Lapadula, A.: A Formal Account of Web Services Orchestration. PhD thesis, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze (2008)Google Scholar
  17. [LPT06]
    Lapadula, A., Pugliese, R., Tiezzi, F.: A WSDL-based type system for WSBPEL. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 145–163. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  18. [LPT07a]
    Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007), CrossRefGoogle Scholar
  19. [LPT07b]
    Lapadula, A., Pugliese, R., Tiezzi, F.: Regulating data exchange in service oriented applications. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 223–239. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  20. [LVMR07a]
    Lanese, I., Vasconcelos, V.T., Martins, F., Ravara, A.: Disciplining Orchestration and Conversation in Service-Oriented Computing. In: SEFM 2007, pp. 305–314. IEEE, Los Alamitos (2007)Google Scholar
  21. [LVMR07b]
    Lanese, I., Vasconcelos, V.T., Martins, F., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. DI/FCUL TR 07–2, DIFCUL (March 2007)Google Scholar
  22. [MC07]
    Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling 6(1), 83–110 (2007)CrossRefGoogle Scholar
  23. [MGZ07]
    Montesi, F., Guidi, C., Zavattaro, G.: Composing services with jolie. In: ECOWS 2007, pp. 13–22. IEEE, Los Alamitos (2007)Google Scholar
  24. [MPW92]
    Milner, R., Parrow, J., Walker, J.: A Calculus of Mobile Processes, I and II. Information and Computation 100(1), 1–40, 41–77 (1992)CrossRefzbMATHGoogle Scholar
  25. [OAS07]
    OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0. Technical report, OASIS (April 2007)Google Scholar
  26. [Obj06]
    Object Management Group (OMG). Business Process Modeling Notation (BPMN) Specification (February 2006)Google Scholar
  27. [Sen]
    Sensoria Project. Public web site,
  28. [Tha01]
    Thatte, S.: XLANG: Web Services for Business Process Design (2001)Google Scholar
  29. [Tie09]
    Tiezzi, F.: Specification and Analysis of Service-Oriented Applications. PhD thesis, Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze (2009)Google Scholar
  30. [VCS08]
    Vieira, H.T., Caires, L., Seco, J.C.: The Conversation Calculus: A Model of Service Oriented Computation. In: Gairing, M. (ed.) ESOP 2008. LNCS, vol. 4960, pp. 269–283. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  31. [vdAtKB03]
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  32. [WSD01]
    Web Services Description Language (WSDL). World Wide Web Consortium (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Luís Caires
    • 1
  • Rocco De Nicola
    • 2
  • Rosario Pugliese
    • 2
  • Vasco T. Vasconcelos
    • 3
  • Gianluigi Zavattaro
    • 4
  1. 1.CITI and Dept. de Informática, FCTUniversidade Nova de LisboaPortugal
  2. 2.Dipartimento di Sistemi e InformaticaUniversità di FirenzeItaly
  3. 3.LaSIGE and Dept. InformáticaFaculdade Ciências LisboaPortugal
  4. 4.Dipartimento di Scienze dell’InformazioneUniversità di BolonaItaly

Personalised recommendations