Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
MarCaSPiS: a Markovian Extension of a Calculus for Services
@INPROCEEDINGS{De+08,
title = {{MarCaSPiS: a Markovian Extension of a Calculus for Services}},
author = {{Rocco De} {Nicola} and {Diego} {Latella} and {Michele} {Loreti} and {Mieke} {Massink}},
booktitle = {Proceedings of SOS 2008},
pages = {11-26},
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.},
publisher = {Elsevier},
series = {ENTCS, Elsevier},
volume = {229},
number = {4},
year = {2009},
url = {http://rap.dsi.unifi.it/sensoriasite/2009-A0-044.pdf},
address = {Iceland},
invited = {N},
main = {Y},
month = {July},
partner = {DSIUF, ISTI},
status = {public},
task = {T4.1},
}
|
