2009 | OriginalPaper | Buchkapitel
On a Uniform Framework for the Definition of Stochastic Process Languages
verfasst von : Rocco de Nicola, Diego Latella, Michele Loreti, Mieke Massink
Erschienen in: Formal Methods for Industrial Critical Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper we show how
Rate
Transition
Systems
(
RTSs
) can be used as a unifying framework for the definition of the semantics of stochastic process algebras.
RTSs
facilitate the
compositional
definition of such semantics exploiting operators on the next state functions which are the functional counterpart of classical process algebra operators. We apply this framework to representative fragments of major stochastic process calculi namely
TIPP
,
PEPA
and
IML
and show how they solve the issue of transition multiplicity in a simple and elegant way. We, moreover, show how
RTSs
help describing different languages, their differences and their similarities. For each calculus, we also show the formal correspondence between the
RTSs
semantics and the standard SOS one.