eprintid: 2314
rev_number: 10
eprint_status: archive
userid: 59
dir: disk0/00/00/23/14
datestamp: 2014-10-09 12:43:01
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-09 12:43:01
type: book_section
metadata_visibility: show
creators_name: Lanese, Ivan
creators_name: Ravara, Antonio
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Behavioral theory for session-oriented calculi
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
abstract: 

This chapter presents the behavioral theory of some of the Sensoria core calculi. We consider SSCC, μ se and CC as representatives of the session-based approach and COWS as representative of the correlation-based one.

For SSCC, μ se and CC the main point is the structure that the session/conversation mechanism creates in programs. We show how the differences between binary sessions, multiparty sessions and dynamic conversations are captured by different behavioral laws. We also exploit those laws for proving the correctness of program transformations.

For COWS the main point is that communication is prioritized (the best matching input captures the output), and this has a strong influence on the behavioral theory of COWS. In particular, we show that communication in COWS is neither purely synchronous nor purely asynchronous.

date: 2011
series: Lecture Notes in Computer Science
number: 6582
publisher: Springer
pagerange: 189-213
id_number: 10.1007/978-3-642-20401-2_9
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_9
citation:   Lanese, Ivan and Ravara, Antonio and Torres Vieira, Hugo   Behavioral theory for session-oriented calculi.   In:  Rigorous Software Engineering for Service-Oriented Systems.   Lecture Notes in Computer Science  (6582).  Springer, pp. 189-213.  ISBN 978-3-642-20400-5      (2011)  
document_url: http://eprints.imtlucca.it/2314/1/TorresVieira_LNCS_6582a.pdf