Abstract
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.
After advocating the use of stochastic process algebras as a modelling technique we recapitulate the foundations of classical process algebras. Then we present extensions of process algebras such that the requirements of performance analysis are taken into account. Examples illustrate the methodological advantages that are gained.
This research is supported in part by the German National Research Council Deutsche Forschungsgemeinschaft under Sonderforschungsbereich 182 and by the Commission of the European Community as ESPRIT basic research action QMIPS, project no. 7269.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, 1986.
Jos Baeten and Peter Weijland. Process Algebra. Cambridge University Press, 1990.
Hu Trung Do. Entwurf von ProzeΒsprachen zur Leistungsbewertung. Diplomarbeit, Universität Erlangen, 1993.
D. Ferrari. Considerations on the Insularity of Performance Evaluation. IEEE Transactions on Software Engineering, SE-12(6):678–683, June 1986.
Norbert Götz, Ulrich Herzog, and Michael Rettelbach. TIPP — a language for timed processes and performance evaluation. Interner Bericht IMMD7-4/92, Universität Erlangen, March 1992.
Norbert Götz, Ulrich Herzog, and Michael Rettelbach. TIPP — introduction and application to protocol performance analysis. In Formale Beschreibungstechniken für verteilte Systeme, Munich, to appear 1993. FOKUS series, Saur publishers.
C. Harvey. Performance engineering as an integral part of system design. British Telecom Technology Journal, 4(3):143–147, July 1986.
Matthew Hennessy. Algebraic Theory of Processes. MIT Press, 1988.
Ulrich Herzog. EXL: Syntax, semantics and examples. Interner Bericht IMMD7-16/90, Universität Erlangen, November 1990.
Ulrich Herzog. Formal description, time and performance analysis — a framework. In Entwurf und Betrieb verteilter Systeme. Springer, 1990. Informatik Fachberichte 264.
Holger Hermanns. Semantik für ProzeΒsprachen zur Leistungsbewertung. Diplomarbeit, Universität Erlangen, to appear 1993.
J. Hillston. PEPA: Performance Enhanced Process Algebra. Technical Report CSR-24-93, University of Edinburgh, March 1993.
Charles Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
Paola Inverardi and Corrado Priami. Evaluation of tools for the analysis of communicating systems. EATCS Bulletin, 45:158–185, 1991.
Robin Milner. Communication and Concurrency. Prentice Hall, 1989.
X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Real-Time: Theory in Practice, pages 526–548. Springer LNCS 600, 1991.
N. Nounou and Y. Yemini. Algebraic specification-based performance analysis of communication protocols. In Protocol Specification, Testing and Verification, pages 541–560. Elsevier Publishers, 1985.
Gordon Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, September 1981.
M. Reiser. A quarter century of performance evaluation — impact on science and engineering. In Proceedings of the IEEE Comp Euro '91, pages 885–887. IEEE, May 1991.
Michael Rettelbach. Leistungsbewertung mit ProzeΒalgebren. Diplomarbeit, Universität Erlangen, 1991.
Ben Strulo and Peter Harrison. Process algebra for discrete event simulation. Technical report, Imperial College, March 1993.
F. Sötz. A method for performance prediction of parallel programs. In Burkhart, editor, CONPAR 90-VAPP IV, Joint International Conference on Vector and Parallel Processing. Proceedings, pages 98–107. Springer LNCS 457, 1990.
R. A. Sahner and K. S. Trivedi. Performance and reliability analysis using directed acyclic graphs. IEEE Transactions on Software Engeneering, SE-13(10):1105–1114, 1987.
Chris Vissers et al. Specification styles in distributed system design and verification. Theoretical Computer Science, 89:179–206, 1991.
J. J. Zic. Extensions to communicating sequential processes to allow protocol performance specification. ACM Computer Communication Review, Special Issue: SIGCOMM '87 Workshop on Frontiers in Computer Communications Technology, 17(5):217–227, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Götz, N., Herzog, U., Rettelbach, M. (1993). Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras. In: Donatiello, L., Nelson, R. (eds) Performance Evaluation of Computer and Communication Systems. Performance SIGMETRICS 1993 1993. Lecture Notes in Computer Science, vol 729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013851
Download citation
DOI: https://doi.org/10.1007/BFb0013851
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57297-8
Online ISBN: 978-3-540-48044-0
eBook Packages: Springer Book Archive