Analysis of Service Oriented Software Systems with the Conversation Calculus

Luís Manuel Marques da Costa Caires

doi:10.1007/978-3-642-27269-1_2

Analysis of Service Oriented Software Systems with the Conversation Calculus

Luís Manuel Marques da Costa Caires

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Citations (Scopus)

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.

Original language	Unknown
Title of host publication	Lecture Notes in Computer Science
Pages	6-33
DOIs	https://doi.org/10.1007/978-3-642-27269-1_2
Publication status	Published - 1 Jan 2012
Event	Formal Aspects of Component Software - Duration: 1 Jan 2010 → …

Conference

Conference	Formal Aspects of Component Software
Period	1/01/10 → …

Access to Document

10.1007/978-3-642-27269-1_2

Cite this

@inproceedings{901010ff4e9344d592129b17087e9567,

title = "Analysis of Service Oriented Software Systems with the Conversation Calculus",

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.",

author = "Caires, {Lu{\'i}s Manuel Marques da Costa}",

note = "Aguarda WoSID; Formal Aspects of Component Software ; Conference date: 01-01-2010",

year = "2012",

month = jan,

day = "1",

doi = "10.1007/978-3-642-27269-1_2",

language = "Unknown",

isbn = "978-3-642-27268-4",

pages = "6--33",

booktitle = "Lecture Notes in Computer Science",

}

TY - GEN

T1 - Analysis of Service Oriented Software Systems with the Conversation Calculus

AU - Caires, Luís Manuel Marques da Costa

N1 - Aguarda WoSID

PY - 2012/1/1

Y1 - 2012/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-27269-1_2

DO - 10.1007/978-3-642-27269-1_2

M3 - Conference contribution

SN - 978-3-642-27268-4

SP - 6

EP - 33

BT - Lecture Notes in Computer Science

T2 - Formal Aspects of Component Software

Y2 - 1 January 2010

ER -