The PEPA workbench: a tool to support a process algebra-based approach to performance modelling
作者： Stephen Gilmore , Jane Hillston
关键词:
摘要: In this paper we present a new technique for performance modelling and tool supporting approach. Performance Evaluation Process Algebra (PEPA) [1] is an algebraic language which can be used to build models of computer systems capture information about the system. The PEPA serves two purposes as formal description system models. performance-related in model may predict whereas behavioural exploited when reasoning functional behaviour (e.g. finding deadlocks or exhibiting equivalences between sub-components). concentrate on aspects language.
springer.com
core.ac.uk
ed.ac.uk
acm.org 
sci-hub.st 参考文章(15)
William H. Burge, Recursive Programming Techniques ,(1975)
Robin Milner, Communication and Concurrency ,(1989)
C. J. Koomen, The Design of Communicating Systems: A System Engineering Approach ,(1991)
Faron Moller, Chris Tofts, A temporal calculus of communicating systems international conference on concurrency theory. pp. 401- 415 ,(1990) , 10.1007/BFB0039073
Xavier Nicollin, Joseph Sifakis, An Overview and Synthesis on Timed Process Algebras real time theory in practice rex workshop. pp. 526- 548 ,(1991) , 10.1007/BFB0032006
Mads Tofte, Mads Tofte, Robert Harper, Robin Milner, The Definition of Standard ML ,(1990)
Norbert Götz, Ulrich Herzog, Michael Rettelbach, Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras measurement and modeling of computer systems. pp. 121- 146 ,(1993) , 10.1007/BFB0013851
Rance Cleaveland, Joachim Parrow, Bernhard Steffen, The concurrency workbench ACM Transactions on Programming Languages and Systems. ,vol. 15, pp. 36- 72 ,(1993) , 10.1145/151646.151648
M. Ajmone Marsan, G. Balbo, G. Conte, A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems measurement and modeling of computer systems. pp. 198- 199 ,(1983) , 10.1145/800040.801407
Jim Davies, Steve Schneider, A brief history of Timed CSP Theoretical Computer Science. ,vol. 138, pp. 243- 271 ,(1995) , 10.1016/0304-3975(94)00169-J