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. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Vieira, H. T., Caires, L., & Seco, J. C. (2008). The conversation calculus: A model of service-oriented computation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4960 LNCS, pp. 269–283). https://doi.org/10.1007/978-3-540-78739-6_21
Mendeley helps you to discover research relevant for your work.