relation: http://eprints.imtlucca.it/2296/
title: The conversation calculus: a model of service-oriented computation
creator: Torres Vieira, Hugo 
creator: Caires, Luis
creator: Seco, João C.
subject: QA75 Electronic computers. Computer science
description: 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
publisher: Springer
date: 2008
type: Book Section
type: PeerReviewed
format: application/pdf
language: en
identifier: http://eprints.imtlucca.it/2296/1/TorresVieira_LNCS_4960.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1007/978-3-540-78739-6_21
relation: 10.1007/978-3-540-78739-6_21