Stochastic Process Algebras - Between LOTOS and Markov Chains

Abstract This paper introduces stochastic process algebras as an approach for the structured design and analysis of both the functional behavior and performance characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into process algebras like CCS or LOTOS. We demonstrate how notions of equivalent behavior – substantial for process algebras – stand in a new light for stochastic process algebras. In particular we discuss the impact of stochastic versions of such equivalences on compositional performance analysis by means of a running example. In addition we discuss analysis techniques, tool support and include a survey of related work as well as recent trends in this area.

[1]  Diego Latella,et al.  Stochastic Simulation of Event Structures , 1996 .

[2]  Peter G. Harrison,et al.  Exploiting Quasi-reversible Structures in Markovian Process Algebra Models , 1995, Comput. J..

[3]  V. Mersiotakis,et al.  Throughput approximation of decision free processes using decomposition , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

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

[5]  Arend Rensink,et al.  Applications of Fair Testing , 1996, FORTE.

[6]  Holger Hermanns,et al.  Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..

[7]  Reinhard Gotzhein.  Open distributed systems - on concepts, methods, and design from a logical point of view , 1993, Vieweg advanced studies in computer science.

[8]  Ulrich Herzog,et al.  Formal Description, Time and Performance Analysis. A Framework , 1990, Entwurf und Betrieb verteilter Systeme.

[9]  Marco Bernardo,et al.  A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol ∗ , 1996 .

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

[11]  Manuel Silva Suárez,et al.  Throughput approximation of decision free processes using decomposition , 1997, PNPM.

[12]  Holger Hermanns,et al.  Stochastic process algebras: integrating qualitative and quantitative modelling , 1994, FORTE.

[13]  Diego Latella,et al.  Partial Order Models for Quantitative Extensions of LOTOS , 1998, Comput. Networks.

[14]  H. Hermanns,et al.  Syntax , Semantics , Equivalences , and Axioms for MTIPP y , 1994 .

[15]  Holger Hermanns,et al.  A Stochastic Process Algebra Based Modelling Tool , 1996 .

[16]  Peter Buchholz.  Markovian process algebra: Composition and equiva-lence , 1994 .

[17]  Stephen Gilmore,et al.  Specifications in stochastic process algebra for a robot control problem , 1996 .

[18]  Holger Hermanns,et al.  Gspn and Spa Compared in Practice Modelling a Distributed Mail System , 1995 .

[19]  Michael Rettelbach.  Probabilistic Branching in Markovian Process Algebras , 1995, Comput. J..

[20]  Peter O'Reilly,et al.  Performance Analysis of Local Computer Networks , 1986 .

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

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

[23]  Wolfgang Kleinöder,et al.  Stochastische Bewertung von Aufgabenstrukturen für hierarchische Mehrrechnersysteme , 1982 .

[24]  Gerard J. Holzmann,et al.  An Analysis of Bitstate Hashing , 1995, Formal Methods Syst. Des..

[25]  Marco Ajmone Marsan,et al.  A LOTOS extension for the performance analysis of distributed systems , 1994, TNET.

[26]  Joost-Pieter Katoen,et al.  Quantitative and Qualitative Extensions of Event Structures , 1996 .

[27]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[28]  Kim G. Larsen,et al.  Bisimulation through probabilistic testing (preliminary report) , 1989, POPL '89.

[29]  Hans A. Hansson.  Time and probability in formal design of distributed systems , 1991, DoCS.

[30]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[31]  Ulrich Herzog.  Constructive modelling and design basic research within the European QMIPS-project , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[32]  Nadia Tawbi,et al.  Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS , 1996, FORTE.

[33]  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.

[34]  D. Cox.  A use of complex probabilities in the theory of stochastic processes , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.

[35]  Holger Hermanns,et al.  Towards a superset of Basic Lotos for Performance Prediction , 1996 .

[36]  Kishor S. Trivedi,et al.  Performance and Reliability Analysis Using Directed Acyclic Graphs , 1987, IEEE Transactions on Software Engineering.

[37]  Brigitte Plateau,et al.  Stochastic Automata Network For Modeling Parallel Systems , 1991, IEEE Trans. Software Eng..

[38]  L. Goddard,et al.  Operations Research (OR) , 2007 .

[39]  Vassilis Mertsiotakis,et al.  PEPP: Performance Evaluation of Parallel Programs , 1992 .

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

[41]  Marina Ribaudo,et al.  Stochastic Petri net semantics for stochastic process algebras , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[42]  Paola Inverardi,et al.  Evaluation of Tools for the Analysis of Communicating Systems , 1991, Bull. EATCS.

[43]  Norbert Götz,et al.  Stochastische Prozessalgebren: Integration von funktionalem Entwurf und Leistungsbewertung Verteilter Systeme , 1994 .

[44]  Bernhard Steffen,et al.  Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..

[45]  Roberto Gorrieri,et al.  Extended Markovian Process Algebra , 1996, CONCUR.

[46]  G. Harrison,et al.  Process Algebra for Discrete Event SimulationP , 1993 .

[47]  J. Davenport.  Editor , 1960 .

[48]  C. Priami.  Stochastic -calculus with General Distributions , 1996 .

[49]  Alain Jean-Marie,et al.  A Survey on Solution Methods for Task Graph Models , 1993 .

[50]  Jane Hillston,et al.  A Simple Time Scale Decomposition Technique for Stochastic Process Algebras , 1995, Comput. J..

[51]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[52]  Scott A. Smolka,et al.  Composition and Behaviors of Probabilistic I/O Automata , 1994, CONCUR.

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

[54]  Yechiam Yemini,et al.  Algebraic Specification-Based Performance Analysis of Communication Protocols , 1984, PSTV.

[55]  U. Herzog.  Performance evaluation and formal description , 1991, [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications.

[56]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[57]  Iso. Lotos,et al.  A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour , 1985 .

[58]  Hany H. Ammar,et al.  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..

[59]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[60]  Franz Hartleb,et al.  Performance Evaluation of Parallel Programs - Modeling and Monitoring with the Tool PEPP , 1993, MMB.

[61]  Edward D. Lazowska,et al.  Quantitative system performance - computer system analysis using queueing network models , 1983, Int. CMG Conference.

[62]  Marten van Sinderen,et al.  Specification Styles in Distributed Systems Design and Verification , 1991, Theor. Comput. Sci..

[63]  Hisashi Kobayashi,et al.  Modeling and analysis , 1978 .

[64]  Edward D. Lazowska,et al.  Quantitative System Performance , 1985, Int. CMG Conference.

[65]  Rom Langerak,et al.  Event Structures for Design and Transformation in LOTOS , 1991, FORTE.

[66]  Holger Hermanns,et al.  A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP , 1996, TACAS.

[67]  François Baccelli,et al.  Quantitative Methods in Parallel Systems , 1995, Esprit Basic Research Series.

[68]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

[69]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[70]  Ulrich Herzog,et al.  Stochastic process algebras as a tool for performance and dependability modelling , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[71]  M. Siegle,et al.  Compositional Minimal Semantics for the Stochastic Process Algebra TIPP , 1994 .

[72]  Matteo Sereno.  Towards a Product Form Solution for Stochastic Process Algebras , 1995, Comput. J..

[73]  Diego Latella,et al.  A Stochastic Causality-Based Process Algebra , 1995, Comput. J..

[74]  J. Hillston.  The nature of synchronisation , 1994 .

[75]  Isi Mitrani,et al.  TIPP and the Spectral Expansion Method , 1995 .

[76]  Peter G. Taylor,et al.  A net level performance analysis of stochastic Petri nets , 1989, The Journal of the Australian Mathematical Society. Series B. Applied Mathematics.

[77]  Michael Rettelbach.  Stochastische Prozessalgebren mit zeitlosen Aktivitäten und probabilistischen Verzweigungen , 1996 .

[78]  Scott A. Smolka,et al.  Composition and Behaviors of Probabilistic I/O Automata , 1994, Theor. Comput. Sci..

[79]  Marcel F. Neuts,et al.  Matrix-geometric solutions in stochastic models - an algorithmic approach , 1982 .

[80]  H. S. M. Zedan.  Distributed Computer Systems: Theory and Practice , 1990 .