Static analysis techniques for session-oriented calculi

Acciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011)

Preview

PDF Download (138kB) | Preview

Abstract

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.

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-642-20401-2_10
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Hugo Vieria
Date Deposited:	09 Oct 2014 12:45
Last Modified:	08 Apr 2015 10:37
URI:	http://eprints.imtlucca.it/id/eprint/2315

Actions (login required)

Edit Item