Stochastic process algebras: integrating qualitative and quantitative modelling

Stochastic process algebras (SPA) have emerged from work over the last five years investigating the use of process algebras for performance modelling. Like other stochastic extensions of existing system description techniques, they offer exciting possibilities for integrating qualitative and quantitative analysis. The use of such languages facilitates the early consideration of the temporal properties of an emerging design Unlike existing approaches, SPA exploit the compositionality, known from classical process algebras. The algebraic framework of this compositionality has advantages for both model construction and model solution.

[1]  Giovanni Chiola,et al.  On Well-Formed Coloured Nets and Their Symbolic Reachability Graph , 1991 .

[2]  Roberto Gorrieri,et al.  MPA: a Stochastic Process Algebra , 1994 .

[3]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, REX Workshop.

[4]  Connie U. Smith,et al.  Performance Engineering of Software Systems , 1990, SIGMETRICS Perform. Evaluation Rev..

[5]  Scott A. Smolka,et al.  Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes , 1990, CONCUR.

[6]  Markus Siegle.  Reduced Markov Models Of Parallel Programs With Replicated Processes , 1994, Proceedings. Second Euromicro Workshop on Parallel and Distributed Processing.

[7]  Peter Buchholz,et al.  Protocol Analysis Using a Timed Version of SDL , 1990, FORTE.

[8]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[9]  Pieter S. Kritzinger.  Analyzing the Time Efficiency of a Communication Protocol , 1984, PSTV.

[10]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[11]  Kim G. Larsen,et al.  Bisimulation through Probabilistic Testing , 1991, Inf. Comput..

[12]  C. Harvey,et al.  Performance engineering as an integral part of system design , 1986 .

[13]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[14]  Holger Hermanns,et al.  Markovian Processes Go Algebra , 1994 .

[15]  C. A. R. Hoare,et al.  A Theory of Communicating Sequential Processes , 1984, JACM.

[16]  Stephen Gilmore,et al.  The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling , 1994, Computer Performance Evaluation.

[17]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[18]  Gregor v. Bochmann,et al.  Adding performance aspects to specification languages 6 , 1988 .

[19]  Norbert Götz,et al.  Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras , 1993, Performance/SIGMETRICS Tutorials.

[20]  Holger Hermanns,et al.  Performance Analysis of Distributed Systems Using TIPP - a Case Study , 1994 .

[21]  Harry Rudin.  An Improved Algorithm for Estimating Protocol Performance , 1984, PSTV.