Let’s Evaluate Performance, Algebraically

ACM Computing Surveys

Volumn 31, Issue , 1999, Pages 7-

  Bernardo, Marco ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0011057284     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/333580.333586     Document Type: Article

References (21)

1. M. A. Marsan, “Stochastic Petri Nets: An Elementary Introduction”, in Advances in Petri Nets ’89, LNCS 424:1-29, 1990
2. M. Bernardo, “An Algebra-Based Method to Associate Rewards with EMPA Terms”, in Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP ’97), LNCS 1256:358-368, Bologna (Italy), 1997
3. M. Bernardo, W. R. Cleaveland, S. T. Sims, W. J. Stewart, “TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems”, to appear in Proc. of the IFIP Joint Int. Conf. on Formal Description, Techniques and Protocol Specification, Testing, and Verification (FORTE/PSTV ’98), Paris (France), 1998
4. M. Bernardo, L. Donatiello, R. Gorrieri, “A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems”, in Information and Computation 144:83-154, 1998
5. M. Bravetti, M. Bernardo, R. Gorrieri, “Towards Performance Evaluation with General Distributions in Process Algebras”, in Proc. of the 9th Int. Conf. on Concurrency Theory (CONCUR ’98), LNCS 1466:405-422, Nice (France), 1998
6. G. Clark, “Formalising the Specification of Rewards with PEPA”, in Proc. of the 4th Int. Workshop on Process Algebras and Performance Modelling (PAPM ’96), CLUT, pp. 139-160, 1996
7. P. R. D’Argenio, J.-P. Katoen, E. Brinksma, “An Algebraic Approach to the Specification of Stochastic Systems”, in Proc. of the IFIP Working Conf. on Programming Concepts, Methods and Calculi (PROCOMET ’98), Chapman & Hall, pp. 126-147, Shelter Islands (NY), 1998
8. D. Ferrari, “Considerations on the Insularity of Performance Evaluation”, in IEEE Trans. on Software Engineering 12:678-683, 1986
9. S. Gilmore, J. Hillston, “The PEPA Workbench: A Tool to Support a Process Algebrabased Approach to Performance Modelling”, in Proc. of the 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 794:353-368, Wien (Austria), 1994
10. N. Gotz, U. Herzog, M. Rettelbach, “Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras”, in Proc. of the 16th Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFORMANCE ’93), LNCS 729:121-146, Rome (Italy), 1993
11. P. G. Harrison, B. Strulo, “Stochastic Process Algebra for Discrete Event Simulation”, in Quantitative Methods in Parallel Systems, Springer, pp. 18-37, 1995
12. H. Hermanns, V. Mertsiotakis, M. Rettelbach, “A Construction and Analysis Tool Based on the Stochastic Process Algebra TIPP”, in Proc. of the 2nd Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ’96), LNCS 1055:427-430, Passau (Germany), 1996
13. U. Herzog, “Formal Description, Time and Performance Analysis - A Framework”, in Entwurf und Betrieb verteilter Systeme, Informatik Fachberichte 264, Springer, 1990
14. U. Herzog, “EXL: Syntax, Semantics and Examples”, Tech. Rep. IMMD7-16/90, University of Erlangen (Germany), 1990
15. J. Hillston, “A Compositional Approach to Performance Modelling”, Cambridge University Press, 1996
16. J. Hillston, “Exploiting Structure in Solution: Decomposing Composed Models”, in Proc. of the 6th Int. Workshop on Process Algebras and Performance Modelling (PAPM ’98), pp. 1-15, Nice (France), 1998
17. L. Kleinrock, “Queueing Systems”, John Wiley & Sons, 1975
18. K. G. Larsen, A. Skou, “Bisimulation through Probabilistic Testing”, in Information and Computation 94:1-28, 1991
19. R. Milner, “Communication and Concurrency”, Prentice Hall, 1989
20. N. Nounou, Y. Yemini, “Algebraic Specification-Based Performance Analysis of Commu nication Protocols”, in Proc. of the 5th Int. Conf. on Protocol Specification, Testing and Verification (PSTV V), North Holland, pp. 541-560, 1985
21. C. A. Petri, “Communication with Automata”, Tech. Rep. RADC-TR-65-377, Griffiss Air Force Base (NY), 1966