Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras

We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performance characteristics of parallel and distributed systems. This is achieved by integrating performance modelling and analysis into the powerful and well investigated formal description technique of process algebras.

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

[2]  Franz Sötz,et al.  A Method for Performance Prediction of Parallel Programs , 1990, CONPAR.

[3]  J. Zic,et al.  Extensions to communicating sequential processes to allow protocol performance specification , 1987, SIGCOMM '87.

[4]  M. Reiser,et al.  A quarter century of performance evaluation-Impact on science and engineering , 1991, [1991] Proceedings, Advanced Computer Technology, Reliable Systems and Applications.

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

[6]  Domenico Ferrari.  Considerations in the Insularity of Performance Evaluation , 1986, IEEE Trans. Software Eng..

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

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

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

[10]  John Zic.  Extensions to communicating sequential processes to allow protocol performance specification , 1987, Computer Communication Review.

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

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

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

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

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

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

[17]  J. C. M. Baeten,et al.  Process Algebra: Bibliography , 1990 .

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

[19]  Norbert Götz,et al.  TIPP - Introduction and Application to Protocol Performance Analysis , 1992, FBT.

[20]  Gianni Conte,et al.  PERFORMANCE ANALYSIS OF MULTIPROCESSOR SYSTEMS , 1985 .

[21]  Matthew Hennessy,et al.  Algebraic theory of processes , 1988, MIT Press series in the foundations of computing.