eprintid: 2315
rev_number: 10
eprint_status: archive
userid: 59
dir: disk0/00/00/23/15
datestamp: 2014-10-09 12:45:52
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 12:45:52
type: book_section
metadata_visibility: show
creators_name: Acciai, Lucia
creators_name: Bodei, Chiara
creators_name: Boreale, Michele
creators_name: Bruni, Roberto
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Static analysis techniques for session-oriented calculi
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
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.
date: 2011
series: Lecture Notes in Computer Science
number: 6582
publisher: Springer
pagerange: 214-231
id_number: 10.1007/978-3-642-20401-2_10
refereed: TRUE
isbn: 978-3-642-20400-5
book_title: Rigorous Software Engineering for Service-Oriented Systems
official_url: http://dx.doi.org/10.1007/978-3-642-20401-2_10
citation:   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)  
document_url: http://eprints.imtlucca.it/2315/1/TorresVieira_LNCS_6582d.pdf