eprintid: 2296
rev_number: 13
eprint_status: archive
userid: 59
dir: disk0/00/00/22/96
datestamp: 2014-10-08 13:13:49
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-08 13:13:49
type: book_section
metadata_visibility: show
creators_name: Torres Vieira, Hugo 
creators_name: Caires, Luis
creators_name: Seco, João C.
creators_id: hugo.torresvieira@imtlucca.it
creators_id: 
creators_id: 
title: The conversation calculus: a model of service-oriented computation
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: Proceedings of the 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
abstract: We present a process-calculus model for expressing and analyzing service-based systems. Our approach addresses central features of the service-oriented computational model such as distribution, process delegation, communication and context sensitiveness, and loose coupling. Distinguishing aspects of our model are the notion of conversation context, the adoption of a context sensitive, message-passing-based communication, and of a simple yet expressive mechanism for handling exceptional behavior. We instantiate our model by extending a fragment of the π-calculus, illustrate its expressiveness by means of many examples, and study its basic behavioral theory; in particular, we establish that bisimilarity is a congruence
date: 2008
series: Lecture notes in computer science
number: 4960
publisher: Springer
pagerange: 269-283
id_number: 10.1007/978-3-540-78739-6_21
refereed: TRUE
isbn: 978-3-540-78739-6
book_title: Programming Languages and Systems
official_url: http://dx.doi.org/10.1007/978-3-540-78739-6_21
citation:   Torres Vieira, Hugo  and Caires, Luis and Seco, João C.  The conversation calculus: a model of service-oriented computation.   In:  Programming Languages and Systems.   Lecture notes in computer science  (4960).  Springer, pp. 269-283.  ISBN 978-3-540-78739-6      (2008)  
document_url: http://eprints.imtlucca.it/2296/1/TorresVieira_LNCS_4960.pdf