eprintid: 2323
rev_number: 10
eprint_status: archive
userid: 59
dir: disk0/00/00/23/23
datestamp: 2014-10-10 09:34:56
lastmod: 2015-04-08 10:37:32
status_changed: 2014-10-10 09:34:56
type: book_section
metadata_visibility: show
creators_name: Caires, Luis
creators_name: Torres Vieira, Hugo 
creators_id: 
creators_id: hugo.torresvieira@imtlucca.it
title: Analysis of service oriented software systems with the conversation calculus
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
note: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
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.
date: 2012
series: Lecture Notes in Computer Science
number: 6921
publisher: Springer
pagerange: 6-33
id_number: 10.1007/978-3-642-27269-1_2
refereed: TRUE
isbn: 978-3-642-27269-1
book_title: Formal Aspects of Component Software
official_url: http://dx.doi.org/10.1007/978-3-642-27269-1_2
citation:   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)  
document_url: http://eprints.imtlucca.it/2323/1/TorresVieira_LNCS_6921.pdf