Back to Search
Start Over
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.
- Source :
- Algebraic Methodology & Software Technology (9783540799795); 2008, p100-115, 16p
- Publication Year :
- 2008
-
Abstract
- The notion of a session is fundamental in service-oriented applications, as it serves to separate interactions between clients and different instances of the same service, and to group together logical units of work. Recently, the Service Centered Calculus (SCC) has been proposed as a process calculus designed around the concept of a dyadic session between a service side and an invoker side, where interaction protocols and service orchestration can be conveniently expressed. In this paper we propose a generic type system to collect services΄ behaviours and then we fix a class of well-typed processes that are guaranteed to be deadlock free, in the sense that they either diverge by invoking new service instances or reach a normal form. The type system is based on previous research on traditional mobile calculi, here conveniently extended and simplified thanks to the neat discipline imposed by the linguistic primitives of SCC. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540799795
- Database :
- Complementary Index
- Journal :
- Algebraic Methodology & Software Technology (9783540799795)
- Publication Type :
- Book
- Accession number :
- 76724149
- Full Text :
- https://doi.org/10.1007/978-3-540-79980-1_8