Logo eprints

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)

[img]
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: 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 Edit Item