TY  - CHAP
ID  - eprints2315
SP  - 214
AV  - public
A1  - Acciai, Lucia
A1  - Bodei, Chiara
A1  - Boreale, Michele
A1  - Bruni, Roberto
A1  - Torres Vieira, Hugo 
SN  - 978-3-642-20400-5
Y1  - 2011///
PB  - Springer
T2  - Rigorous Software Engineering for Service-Oriented Systems
TI  - Static analysis techniques for session-oriented calculi
T3  - Lecture Notes in Computer Science
EP  - 231
N2  - In the Sensoria project, core calculi have been adopted as a linguistic means to model and analyze service-oriented applications. The present chapter reports about the static analysis techniques developed for the Sensoria session-oriented core calculi CaSPiS and CC. In particular, it presents a type system for client progress and control flow analysis in CaSPiS and type systems for conversation fidelity and progress in CC. The chapter gives an overview of the these techniques, summarizes the main results and presents the analysis of a common example taken from the Sensoria financial case-study: the credit request scenario.
UR  - http://dx.doi.org/10.1007/978-3-642-20401-2_10
ER  -