SCC: a service centered calculus

M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. Vasconcelos, G. Zavattaro

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

111 Citations (Scopus)


We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC's session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones.

Original languageEnglish
Title of host publicationWeb Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings
EditorsM. Bravetti, M. Nunez, G. Zavattaro
PublisherSpringer Verlag
Number of pages20
ISBN (Print)3540388621, 9783540388623
Publication statusPublished - 8 Dec 2006
Event3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 - Vienna, Austria
Duration: 8 Sep 20069 Sep 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Verlag
Volume4184 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference3rd International Workshop on Web Services and Formal Methods, WS-FM 2006


  • Communication
  • Network protocols
  • Multiparty session


Dive into the research topics of 'SCC: a service centered calculus'. Together they form a unique fingerprint.

Cite this