TY  - CHAP
ID  - eprints2296
N2  - 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
T3  - Lecture notes in computer science
SP  - 269
SN  - 978-3-540-78739-6
AV  - public
PB  - Springer
UR  - http://dx.doi.org/10.1007/978-3-540-78739-6_21
A1  - Torres Vieira, Hugo 
A1  - Caires, Luis
A1  - Seco, Joćo C.
T2  - Programming Languages and Systems
TI  - The conversation calculus: a model of service-oriented computation
N1  - 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
EP  - 283
Y1  - 2008///
ER  -