eprintid: 276
rev_number: 13
eprint_status: archive
userid: 32
dir: disk0/00/00/02/76
datestamp: 2011-05-25 13:18:28
lastmod: 2014-10-08 09:33:54
status_changed: 2011-05-25 13:18:28
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Latella, Diego
creators_name: Loreti, Michele
creators_name: Massink, Mieke
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
title: MarCaSPiS: a Markovian Extension of a Calculus for Services
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Calculi for Service Oriented Computing; Quantitative Analysis of Systems; Stochastic Process Algebras
note: Proceedings of the Fifth Workshop on Structural Operational Semantics (SOS 2008).
abstract: Service Oriented Computing (SOC) is a design paradigm that has evolved from earlier paradigms including object-orientation and component-based software engineering. Important features of services are compositionality, context-independence, encapsulation and re-usability. To support the formal design and analysis of SOC applications recently a number of Service Oriented Calculi have been proposed. Most of them are based on process algebras enriched with primitives specific of service orientation such as operators for manipulating semi-structured data, mechanisms for describing safe client-service interactions, constructors for composing possibly unreliable services and techniques for services query and discovery. In this paper we show a versatile technique for the definition of Structural Operational Semantics of MarCaSPiS, a Markovian extension of one of such calculi, namely the Calculus of Sessions and Pipelines, CaSPiS. The semantics deals in an elegant way with a stochastic version of two-party synchronisation, typical of a service-oriented approach, and with the problem of transition multiplicity while preserving highly desirable mathematical properties such as associativity and commutativity of parallel composition.
We also show how the proposed semantics can be naturally used for defining a bisimulation-based behavioural equivalence for MarCaSPiS terms that induces the same equalities as those obtained via Strong Markovian Equivalence.
date: 2009
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 229
number: 4
publisher: Elsevier
pagerange: 11-26
id_number: 10.1016/j.entcs.2009.07.071
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/pii/S157106610900293X
citation:   De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke  MarCaSPiS: a Markovian Extension of a Calculus for Services.  Electronic Notes in Theoretical Computer Science, 229 (4).  pp. 11-26.  ISSN 1571-0661      (2009)  
document_url: http://eprints.imtlucca.it/276/1/DeNicola_Latella_Loreti_Massink.pdf