Istituto di Scienza e Tecnologie dell'Informazione     
De Nicola R., Latella D., Loreti M., Massink M. On a uniform framework for the definition of stochastic process languages. In: FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven, The Netherlands, 2-3 November 2009). Proceedings, pp. 9 - 25. M. Alpuente, B. Cook, C. Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer-Verlag, 2009.
In this paper we present how Rate Transition Systems (RTS) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTS 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 including TIPP, PEPA and IML, and show how they solve the issue of transition multiplicity in a simple and elegant way. We, moreover, show how RTS help describing different languages, their differences and their similarities. For each calculus, we also show the formal correspondence between the RTS semantics and the standard SOS one.
URL: http://www.springerlink.com/content/j07276451736/?p=9092b759aa9c42dc91750eeec1c3b220&pi=39
DOI: 10.1007/978-3-642-04570-7_2
Subject Stochastic Process Languages
H.1 Models and Principles
F.4 Mathematical Logic and Formal Languages
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional