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

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

DI - Departamento de Informática

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

114 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings
Editors	M. Bravetti, M. Nunez, G. Zavattaro
Publisher	Springer Verlag
Pages	38-57
Number of pages	20
ISBN (Print)	3540388621, 9783540388623
Publication status	Published - 8 Dec 2006
Event	3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 - Vienna, Austria Duration: 8 Sept 2006 → 9 Sept 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Volume	4184 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Workshop on Web Services and Formal Methods, WS-FM 2006
Country/Territory	Austria
City	Vienna
Period	8/09/06 → 9/09/06

Keywords

Communication
Network protocols
Multiparty session

Cite this

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. (2006). SCC: a service centered calculus. In M. Bravetti, M. Nunez, & G. Zavattaro (Eds.), Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings (pp. 38-57). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4184 LNCS). Springer Verlag.

Boreale, M. ; Bruni, R. ; Caires, L. et al. / SCC: a service centered calculus. Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings. editor / M. Bravetti ; M. Nunez ; G. Zavattaro. Springer Verlag, 2006. pp. 38-57 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{62637b82d0d5435baa7bcb94db5690d0,

title = "SCC: a service centered calculus",

abstract = "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.",

keywords = "Communication, Network protocols, Multiparty session",

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

year = "2006",

month = dec,

day = "8",

language = "English",

isbn = "3540388621",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "38--57",

editor = "M. Bravetti and M. Nunez and G. Zavattaro",

booktitle = "Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings",

address = "Germany",

note = "3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 ; Conference date: 08-09-2006 Through 09-09-2006",

}

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 2006, SCC: a service centered calculus. in M Bravetti, M Nunez & G Zavattaro (eds), Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4184 LNCS, Springer Verlag, pp. 38-57, 3rd International Workshop on Web Services and Formal Methods, WS-FM 2006, Vienna, Austria, 8/09/06.

SCC: a service centered calculus. / Boreale, M.; Bruni, R.; Caires, L. et al.
Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings. ed. / M. Bravetti; M. Nunez; G. Zavattaro. Springer Verlag, 2006. p. 38-57 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4184 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - SCC: a service centered calculus

AU - Boreale, M.

AU - Bruni, R.

AU - Caires, L.

AU - De Nicola, R.

AU - Lanese, I.

AU - Loreti, M.

AU - Martins, F.

AU - Montanari, U.

AU - Ravara, A.

AU - Sangiorgi, D.

AU - Vasconcelos, V.

AU - Zavattaro, G.

PY - 2006/12/8

Y1 - 2006/12/8

N2 - 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.

AB - 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.

KW - Communication

KW - Network protocols

KW - Multiparty session

UR - http://www.scopus.com/inward/record.url?scp=33845218651&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33845218651

SN - 3540388621

SN - 9783540388623

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 38

EP - 57

BT - Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings

A2 - Bravetti, M.

A2 - Nunez, M.

A2 - Zavattaro, G.

PB - Springer Verlag

T2 - 3rd International Workshop on Web Services and Formal Methods, WS-FM 2006

Y2 - 8 September 2006 through 9 September 2006

ER -

Boreale M, Bruni R, Caires L, De Nicola R, Lanese I, Loreti M et al. SCC: a service centered calculus. In Bravetti M, Nunez M, Zavattaro G, editors, Web Services and Formal Methods - Third International Workshop, WS-FM 2006, Proceedings. Springer Verlag. 2006. p. 38-57. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

SCC: a service centered calculus

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this