A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems

Information and Computation

Volumn 144, Issue 2, 1998, Pages 83-154

  Bernardo, Marco ^a   Donatiello, Lorenzo ^a   Gorrieri, Roberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001786535     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1998.2706     Document Type: Article

References (80)

1. Ajmone Marsan, M., Balbo, G., Bobbio, A., Chiola, G., Conte, G., and Cumani, A. (1989), The effect of execution policies on the semantics and analysis of stochastic petri nets, IEEE Trans. Software Engrg. 15, 832-846.
2. Ajmone Marsan, M., Balbo, G., and Conte, G. (1984), A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems, ACM Trans. Comput. Systems 2, 143-172.
3. Ajmone Marsan, M., Balbo, G., Chiola, G., and Conte, G. (1987), Generalized stochastic petri nets revisited: random switches and priorities, in "Proc. of the 2nd Int. Workshop on Petri Nets and Performance Models (PNPM '87)," IEEE-CS Press, Madison, WI.
4. Ajmone Marsan, M., Bianco, A., Ciminiera, L., Sisto, R., and Valenzano, A. (1994), A LOTOS extension for the performance analysis of distributed systems, IEEE/ACM Trans. Networking 2, 151-164.
5. Ajmone Marsan, M. (1990), Stochastic petri nets: An elementary introduction, in "Advances in Petri Nets '89," Lecture Notes in Computed Science, Vol. 424, pp. 1-29, Springer-Verlag, Berlin/New York.
6. Balbo, G., Bruell, S. C., Chen, P., and Chiola, G. (1992), An example of modeling and evaluation of a concurrent program using colored stochastic petri nets: Lamport's fast mutual exclusion algorithm, IEEE Trans. Parallel Distrib. Systems 3, 221-240.
7. Bernardo, M., Busi, N., and Gorrieri, R. (1995), A distributed semantics for EMPA based on stochastic contextual nets, Comput. J. 38(7), 492-509.
8. Bravetti, M., Bernardo, M., and Gorrieri, R. (1997), From EMPA to GSMPA: Allowing for general distributions, in "Proc. of the Workshop on Process Algebras and Performance Modelling (PAPM '97)" (Brinskma, E. and A. Nymeyer, Eds.), pp. 17-33, Enschede, The Netherlands.
9. Baeten, J. C. M., Bergstra, J. A., and Klop, J. W. (1986), Syntax and defining equations for an interrupt mechanism in process algebra, Fund. Inform. IX, 127-168.
10. Bernardo, M., Cleaveland, R., Sims, S., and Stewart, W. (1998), Twotowers: A tool integrating functional and performance analysis of concurrent systems, submitted for publication.
11. Bernardo, M., Donatiello, L., and Gorrieri, R. (1994), "MPA: A Stochastic Process Algebra," Technical Report UBLCS-94-10, University of Bologna, Italy.
12. Bernardo, M., Donatiello, L., and Gorrieri, R. (1994), "Describing Queueing Systems with MPA," Technical Report UBLCS-94-11, University of Bologna, Italy.
13. Bernardo, M., Donatiello, L., and Gorrieri, R. (1994), "Operational GSPN Semantics of MPA," Technical Report UBLCS-94-12, University of Bologna, Italy.
14. Bernardo, M., Donatiello, L., and Gorrieri, R. (1994), Modeling and analyzing concurrent systems with MPA, in "Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM '94)" (U. Herzog and M. Rettelbach, eds.), pp. 175-189, Erlangen, Germany.
15. Bernardo, M., Donatiello, L., and Gorrieri, R. (1994), Integrated analysis of concurrent distributed systems using markovian process algebra, in "Proc. of the 7th Int. Conf. on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE '94), Berne, Switserland," pp. 455-457, Chapman & Hall, London/New York.
16. Bernardo, M., Donatiello, L., and Gorrieri, R. (1995), Giving a net semantics to Markovian process algebra, in "Proc. of the 6th Int. Workshop on Petri Nets and Performance Models (PNPM '95)," pp. 169-178, IEEE-CS Press, Durham, NC.
17. Bernardo, M., Donatiello, L., and Gorrieri, R. (1996), A stochastic process algebra model for the analysis of the alternating bit protocol, in "Proc. of the 11th Int. Symp. on Computer and Information Sciences (ISCIS XI), Antalya, Turkey," pp. 375-384, METU.
18. Bernardo, M. (1996), A methodology based on EMPA for modeling and simulating concurrent systems, in "Proc. of the Annual Conf. of the Italian Society for Computer Simulation (ISCS '96), Rome, Italy," pp. 146-151.
19. Bernardo, M. (1997), Enriching EMPA with value passing: A symbolic approach based on Lookahead, in "Proc. of the 5th Workshop on Process Algebras and Performance Modelling (PAPM '97), Enschede, The Netherlands" (E. Brinksma and A. Nymeyer, Eds.), pp. 35-49.
20. Bernardo, M. (1997), An algebra-based method to associate rewards with EMPA terms, in "Proc. of the 24th Int. Coll. on Automata, Languages and Programming (ICALP '97)," Lecture Notes in Computer Sciences, Vol. 1256, pp. 358-368.
21. Bernardo, M. and Gorrieri, R. (1998), A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time, Theoret. Comput. Sci., to appear.
22. Brinskma, E., Katoen, J.-P., Langerak, R., and Latella, D. (1995), A stochastic causality-based process algebra, Comput. J. 38(7), 553-565.
23. Bartlett, K. A., Scantlebury R. A., and Wilkinson, P. T. (1969), A note on reliable full-duplex transmission over half-duplex links, Comm. Assoc. Comput. Mach. 12, 260-261.
24. Buchholz, P. (1994), Markovian process Algebra: Composition and equivalence, in "Proc of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM'94), Erlangen, Germany" (U. Herzog and M. Rettelbach, Eds.), pp. 11-30.
25. Bochmann, G. V. and Vaucher, J. (1988), Adding performance aspects to specification languages, in "Proc. of the 8th Int. Conf. on Protocol Specification, Testing and Verification (PSTV VIII), North Holland, Amsterdam," pp. 19-31, Atlantic City.
26. Chiola, G. (1991), GreatSPN 1.5 software architecture, in "Proc. of the 5th Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy," pp. 121-136, Elsevier.
27. Clark, G. (1996), Formalising the specification of rewards with PEPA, in "Proc of the 4th Workshop on Process Algebras and Performance Modelling (PAPM'96), Torino, Italy" (Ribaudo, M., Ed.), pp. 139-160.
28. Cleaveland, W. R., Madelaine, E., and Sims, S. (1995), A front-end generator for verification tools, in "Proc. of the 1st Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '95), Aarhus, Denmark," Lecture Notes in Computer Science, Vol. 1019, pp. 153-177, Springer-Verlag, Berlin/New York.
29. Cleaveland, W. R., Parrow, J., and Steffen, B. (1993), The concurrency workbench: A semantics-based tool for the verification of concurrent systems, ACM Trans. Progr. Languages Systems 15, 36-72.
30. Cleaveland, W. R. and Sims, S. (1996), The NCSU concurrency workbench, in "Proc. of the 8th Int. Conf. on Computer Aided Verification (CAV '96), New Brunswick, NJ," Lecture Notes in Computer Science, Vol. 1102, pp. 394-397, Springer-Verlag, Berlin/ New York.
31. Degano, P., De Nicola, R., and Montanari, U. (1988), A distributed operational semantics for CCS based on condition/event systems, Acta Informatica 26, 59-91.
32. Ferrari, D. (1986), Considerations on the insularity of performance evaluation, IEEE Trans. Software Eng. 12, 678-683.
33. Götz, N., Herzog, U., and Rettelbach, M. (1994), TIPP - A Stochastic Process Algebra, in "Proc of the 1st Workshop on Process Algebras and Performance Modelling (PAPM '93), Edinburgh, UK" (Hillston, J. and F. Moller, Eds.), pp. 31-36.
34. Götz, N., Herzog, U., and Rettelbach, M. (1993), Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras, in "Proc. of the Int. Symp. on Computer Performance Modelling, Measurement and Evaluation (PERFORMANCE '93), Rome, Italy," Lecture Notes in Computer Science, Vol. 729, pp. 121-146.
35. Harvey, C. (1986), Performance engineering as an integral part of system design, BT Tech. J. 4, 143-147.
36. Herzog, U. (1996), A concept for graph-based stochastic process algebras, generally distributed activity times, and hierarchical modelling, in "Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), Torino, Italy" (Ribaudo, M., Ed.), pp. 1-20.
37. Harrison, P. G. and Hillston, J. (1995), Exploiting quasi-reversible structures in markovian process algebra models, Comput. J. 38(7), 510-520.
38. Hillston, J. (1994), The nature of synchronisation, in "Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM '92), Erlangen, Germany" (Herzog, U. and Rettelbach, M., Eds.), pp. 51-70.
39. Hillston, J. (1996), "A compositional approach to performance modelling," Cambridge Univ. Press, Cambridge.
40. Hennessy, M. and Lin, H., (1995), Symbolic bisimulations, Theoret. Comput. Sci. 138, 353-389.
41. Hillston, J. and Mertsiotakis, V. (1995), A simple time scale decomposition technique for stochastic process algebras, Comput. J. 38(7), 566-577.
42. Hermanns, H., Mertsiotakis, V., and Rettelbach, M. (1994), Performance analysis of distributed systems using TIPP-A case Study, in "Proc. of the 10th UK Performance Engineering Workshop for Computer and Telecommunication Systems," Edinburgh, UK.
43. Hoare, C. A. R. (1985), "Communicating Sequential Processes," Prentice-Hall, New York.
44. Howard, R. A. (1971), "Dynamic Probabilistic Systems," Wiley, New York.
45. Hermanns, H. and Rettelbach, M. (1994), Syntax, semantics, equivalences, and axioms for MTIPP, in " Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM '94), Erlangen, Germany" (U. Herzog and M. Rettelbach, eds.), pp. 71-87.
46. Hermanns, H. and Rettelbach, M. (1996), Towards a superset of basic LOTOS for performance prediction, in "Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), Torino, Italy" (M. Ribaudo, Ed.), pp. 77-94.
47. Hermanns, H., Rettelbach, M., and Weiß, T. (1995), Formal characterisation of immediate actions in SPA with nondeterministic branching, Comput. J. 38(7), 530-541.
48. Harrison, P. G. and Strulo, B. (1995), Stochastic process algebra for discrete event simulation, in "Quantitative Methods in Parallel Systems," pp. 18-37, Springer-Verlag, Berlin/New York.
49. Johnson, S. C. (1975), "YACC - Yet Another Compiler Compiler," Computing Science Technical Report 32, AT & T Bell Labs, Murray Hill, NJ.
50. Katoen, J.-P., Brinskma, E., Langerak, R., and Latella, D. (1996), Stochastic simulation of event structures, in "Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), Torino, Italy" (M. Ribaudo, Ed.), pp. 21-40.
51. Kleinrock, L. (1975), "Queueing Systems," Wiley, New York.
52. Kernighan, B. W. and Ritchie, D. M. (1988), "The C Programming Language," Prentice-Hall, New York.
53. Lesk, M. E. (1975), "Lex - A Lexical Analyzer Generator," Computing Science Technical Report 39, AT & T Bell Labs, Murray Hill, NJ.
54. Larsen, K. G. and Skou, A. (1991), Bisimulation through Probabilistic Testing, Inform. and Comput. 94, 1-28.
55. Milner, R. (1989), "Communication and Concurrency," Prentice-Hall, New York.
56. Molloy, M. K. (1982), Performance analysis using stochastic petri nets, IEEE Trans. Computers 31, 913-917.
57. Mertsiotakis, V. and Silva, M. (1996), A throughput approximation algorithm for decision free processes, in "Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96), Torino, Italy" (M. Ribaudo, Ed.), pp. 161-178.
58. Murata, T. (1989), Petri nets: Properties, analysis and applications, Proc. IEEE 77, 541-580.
59. Neuts, M. F. (1981), "Matrix-Geometric Solutions in Stochastic Models - An Algorithmic Approach," John Hopkins Univ. Press, Baltimore.
60. Nounou, N. and Yemini, Y. (1995), Algebraic specification-based performance analysis of communication protocols, in "Proc. of the 5th Int. Conf. on Protocol Specification, Testing and Verification (PSTV V), North Holland, Amsterdam," pp. 541-560.
61. Olderog, E.-R. (1991), "Nets, Terms and Formulas," Cambridge Univ. Press, Cambridge, UK.
62. Ousterhout, J. K. (1994), "Tcl and the Tk Toolkit," Addison-Wesley, Reading, MA.
63. "Proc. of the 1st Workshop on Process Algebras and Performance Modelling (PAPM '93)" (J. Hillston and F. Moller, Eds.), Edinburgh, UK, 1993.
64. "Proc. of the 2nd Workshop on Process Algebras and Performance Modelling (PAPM '94)" (U. Herzog and M. Rettelbach, Eds.), Erlangen, Germany, 1994.
65. "Proc. of the 3rd Workshop on Process Algebras and Performance Modelling (PAPM '95)" (S. Gilmore and J. Hillston, Eds.), Comput. J. 38(7), 1995.
66. "Proc. of the 4th Workshop on Process Algebras and Performance Modelling (PAPM '96)" (M. Ribaudo, Ed.), Torino, Italy, 1996.
67. "Proc. of the 5th Workshop on Process Algebras and Performance Modelling (PAPM '97)" (E. Brinskma and A. Nymeyer, Eds.), Enschede, The Netherlands, 1997.
68. Park, D. (1981), Concurrency and automata on infinite sequences, in "Proc. of the 5th GI-Conf. on Theoretical Computer Science," Lecture Notes in Computer Science, Vol. 104, pp. 167-183, Springer-Verlag, Berlin/New York.
69. Priami, C. (1995), Stochastic π-calculus, Comput. J. 38(7), 578-589.
70. Priami, C. (1996), Stochastic π-calculus with general distributions, in "Proc. of the 4th Workshop on Process Algebras ad Performance Modelling (PAPM '96), Torino, Italy" (M. Ribaudo, Ed.), pp. 41-57.
71. Reisig, W. (1985), "Petri Nets: An Introduction," Springer-Verlag, Berlin/New York.
72. Rettelbach, M. (1995), Probabilistic branching in markovian process algebras, Comput. J. 38(7), 590-599.
73. Ribaudo, M. (1995), "On the Relationship between Stochastic Process Algebras and Stochastic Petri Nets," Ph.D. Thesis, University of Torino, Italy.
74. Rettelbach, M. and Siegle, M. (1994), Compositional minimal semantics for the stochastic process algebra TIPP, in "Proc. of the 2nd Workshop for Process Algebras and Performace Modelling (PAPM '94), Erlangen, Germany" (U. Herzog and M. Rettelbach, Eds.), pp. 89-105.
75. Schweitzer, P. (1984), Aggregation methods for large markov chains, in "Mathematical Computer Performance and Reliability," pp. 275-286, North Holland, Amsterdam.
76. Sereno, M. (1995), Towards a product form solution for stochastic process algebras, Comput. J. 38(7), 622-632.
77. Stewart, W. J. (1994), "Introduction to the Numerical Solution of Markov Chains," Princeton Univ. Press, Princeton.
78. Tofts, C. (1994), Processes with probabilities, priority and time, Formal Aspects of Comput. 6, 536-564.
79. Vissers, C. A., Scollo, G., van Sinderen, M., and Brinskma, E. (1991), Specification styles in distributed systems design and verification, Theoret. Comput. Sci. 89, 179-206.
80. Yemini, Y. and Kurose, J. (1982), Towards the unification of the functional and performance analysis of protocols, or is the alternating-bit protocol really correct?, in "Proc. of the 2nd Int. Conf. on Protocol Specification, Testing and Verification (PSTV II)," North Holland, Amsterdam.