http://www.cnr.it/ontology/cnr/individuo/prodotto/ID175273

MarCaSPiS: a Markovian extension of a Calculus for Services (Contributo in atti di convegno)

Type

Label

MarCaSPiS: a Markovian extension of a Calculus for Services (Contributo in atti di convegno) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

Rocco De Nicola; Diego Latella; Michele Loreti; Mieke Massink (2009)
MarCaSPiS: a Markovian extension of a Calculus for Services
in Fifth Work- shop on Structural Operational Semantics - SOS 2008, Reykjav ??k, Iceland, July 6, 2008
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

Rivista

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Dipartimento di Sistemi e Informatica - Universita` di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\"- Consiglio Nazionale delle Ricerche; Dipartimento di Sistemi e Informatica - Universita` di Firenze; Istituto di Scienza e Tecnologie dell'Informazione \"A. Faedo\"- Consiglio (literal)

Titolo

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 composi- tionality, 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 Marko- vian 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 be- havioural equivalence for MarCaSPiS terms that induces the same equalities as those obtained via Strong Markovian Equivalence. (literal)

Editore