Logo eprints

Analysis of service oriented software systems with the conversation calculus

Caires, Luis and Torres Vieira, Hugo Analysis of service oriented software systems with the conversation calculus. In: Formal Aspects of Component Software. Lecture Notes in Computer Science (6921). Springer, pp. 6-33. ISBN 978-3-642-27269-1 (2012)

[img]
Preview
PDF (Pre-print version)
Download (787kB) | Preview

Abstract

We overview some perspectives on the concept of service-based computing, and discuss the motivation of a small set of modeling abstractions for expressing and analyzing service based systems, which have led to the design of the Conversation Calculus. Distinguishing aspects of the Conversation Calculus are the adoption of a very simple, context sensitive, local message-passing communication mechanism, natural support for modeling multi-party conversations, and a novel mechanism for handling exceptional behavior. In this paper, written in a tutorial style, we review some Conversation Calculus based analysis techniques for reasoning about properties of service-based systems, mainly by going through a sequence of illustrating examples.

Item Type: Book Section
Identification Number: 10.1007/978-3-642-27269-1_2
Additional Information: 7th International Workshop, FACS 2010, GuimarĂ£es, Portugal, October 14-16, 2010, Revised Selected Papers
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Hugo Vieria
Date Deposited: 10 Oct 2014 09:34
Last Modified: 08 Apr 2015 10:37
URI: http://eprints.imtlucca.it/id/eprint/2323

Actions (login required)

Edit Item Edit Item