The conversation calculus: a model of service-oriented computation

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)

Preview

PDF (Pre-print version) Download (230kB) | Preview

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

Item Type:	Book Section
Identification Number:	https://doi.org/10.1007/978-3-540-78739-6_21
Additional Information:	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
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area:	Computer Science and Applications
Depositing User:	Hugo Vieria
Date Deposited:	08 Oct 2014 13:13
Last Modified:	08 Apr 2015 10:37
URI:	http://eprints.imtlucca.it/id/eprint/2296

Actions (login required)

Edit Item