Logo eprints

Session Centered Calculi for Service Oriented Computing

De Nicola, Rocco Session Centered Calculi for Service Oriented Computing. In: THEORETICAL COMPUTER SCIENCE Proceedings of the 10th Italian Conference on (ICTCS '07I. World Scientific, pp. 6-10. ISBN 981-277-098-4 (2007)

Full text not available from this repository.


Within the European project SENSORIA, we are developing formalisms for service description that lay the mathematical basis for analysing and experimenting with components interactions, for combining services and formalising crucial aspects of service level agreement. One of the outcome of this study is pSCC, a process calculus with explicit primitives for service definition and invocation. Central to pSCC are the notions of session and pipelining. Sessions are two sided and can be equipped with protocols executed by each side during an interaction and permit interaction patterns that are more structured than the simple one-way and request-response ones. Pipeline permits exchange of values between among sessions. The calculus is also equipped with operators for handling (unexpected) session closures that permit programming smooth propagation of session closures to partners and subsessions, so as to avoid states with dangling or orphan sessions. In the talk we will present SCC and discuss other alternatives that are (or have been) considered within the project.

Item Type: Book Section
Identification Number: 10.1142/9789812770998_0004
Uncontrolled Keywords: Process Algebras; Service Oriented Computing; Process Calculi
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 26 May 2011 13:08
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/287

Actions (login required)

Edit Item Edit Item