Combining stochastic process algebras and queueing networks for software architecture analysis

Proceedings of the International Workshop on Software and Performance (WOSP2002)

Volumn , Issue , 2002, Pages 190-202

  Balsamo, Simonetta ^a   Bernardo, Marco ^a   Simeoni, Marta ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; MARKOV PROCESSES; QUEUEING NETWORKS;

STOCHASTIC PROCESS ALGEBRAS (SPA);

COMPUTER SOFTWARE;

EID: 0036992137     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/584395.584398     Document Type: Conference Paper

References (21)

1. F. Aquilani, S. Balsamo, P. Inverardi, "Performance Analysis at the Software Architecture Design Level", in Performance Evaluation 45:205-221, 2001
2. M. Bernardo, P. Ciancarini, L. Donatiello, "ÆEMPA: A Process Algebraic Description Language for the Performance Analysis of Software Architectures", in [21], pp. 1-11
3. M. Bernardo, P. Ciancarini, L. Donatiello, "On the Formalization of Architectural Types with Process Algebras", in Proc. of FSE-8, ACM Press, pp. 140-148, San Diego (CA), 2000
4. M. Bernardo, P. Ciancarini, L. Donatiello, "Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems", in Proc. of WICSA 2001, IEEE-CS Press, pp. 77-86, Amsterdam (The Netherlands), 2001
5. M. Bernardo, W.R. Cleaveland, W.S. Stewart, '"Two Towers 1.0 User Manual", http://www.sti.uniurb.it/bernardo/twotowers/, 2001
6. M. Bravetti, M. Bernardo, "Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time", in Proc. of MTCS 2000, Electronic Notes in Theoretical Computer Science 39(3), State College (PA), 2000
7. E.M. Clarke, O. Grumherg, D.A. Peled, "Model Checking", MIT Press, 1999
8. W.R. Cleaveland, J. Parrow, B. Steffen, "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems", in ACM Trans. on Programming Languages and Systems 15:36-72, 1993
9. P.G. Harrison, J. Hillston, "Exploiting Quasi-Reversible Structures in Markovian Process Algebra Models", in Computer Journal 38:510-520, 1995
10. H. Hermanns, "Interactive Markov Chains", Ph.D. Thesis, University of Erlangen (Germany), 1998
11. J. Hillston, "A Compositional Approach to Performance Modelling", Cambridge University Press, 1996
12. J. Hillston, N. Thomas, "Product Form Solution for a Class of PEPA Models", in Proc. of IPDS 1998, IEEE-CS Press, Durham (NC), 1998
13. K. Kant, "Introduction to Computer System Performance Evaluation", McGraw-Hill, 1992
14. L. KIeinrock, "Queueing Systems", John Wiley & Sons, 1975
15. S.S. Lavenherg editor, "Computer Performance Modeling Handbook", Academic Press, 1983
16. R. Milner, "Communication and Concurrency", Prentice Hall, 1989
17. D.E. Perry, A.L. Wolf, "Foundations for the Study of Software Architecture", in ACM SIGSOFT Software Engineering Notes 17:40-52, 1992
18. M. Shaw, D. Carlan, "Software Architecture: Perspectives on an Emerging Discipline", Prentice Hall, 1996
19. M. Sereno, "Towards a Product Form Solution for Stochastic Process Algebras", in Computer Journal 38:622-632, 1995
20. C.U. Smith, "Performance Engineering of Software Systems", Addison-Wesley, 1990
21. Proc. of the 2nd Int. Workshop on Software and Performance (WOSP 2000), ACM Press, Ottawa (Canada), 2000