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|
|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|
Actions (login required)