A unified tool for performance modelling and prediction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2788, Issue , 2003, Pages 179-192

  Gilmore, Stephen ^a   Kloul, Leïla ^a,b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b UNIVERSITY OF VERSAILLES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; HIGH LEVEL LANGUAGES; MODELING LANGUAGES; RANDOM PROCESSES; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; UNIFIED MODELING LANGUAGE;

ANALYSIS PROBLEMS; GRAPHICAL MODELLING; HIGH LEVEL DESCRIPTION; INTERMEDIATE LANGUAGES; PERFORMANCE MODEL; PERFORMANCE MODELLING; PROBABILISTIC MODELING; STOCHASTIC PROCESS ALGEBRAS;

MODEL CHECKING;

EID: 35248858914     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39878-3_15     Document Type: Article

References (18)

1. Tigris.org project. ArgoUML: A modelling tool for design using UML. Web page and documentation at http://argouml.tigris.org/, 2002.
2. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proceedings of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, number 794 in Lecture Notes in Computer Science, pages 353-368, Vienna, May 1994. Springer-Verlag.
3. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In T. Field, P. Harrison, J. Bradley, and U. Harder, editors, Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02), volume 2324 of LNCS, pages 200-204. Springer, 2002. http://www.cs.bham.ac.uk/~dxp/prism/.
4. Object Management Group. Unified Modeling Language, v1.4, March 2001. OMG document number: formal/2001-09-67.
5. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
6. R. Alur and T.A. Henzinger. Reactive modules. Formal Methods in System Design: An International Journal, 15(1):7-48, July 1999.
7. D. Parker. PRISM 1.3 User's Guide. University of Birmingham, February 2003. http://www.cs.bham.ac.uk/~dxp/prism.
8. F. Somenzi. CUDD: CU Decision Diagram Package. Department of Electrical and Computer Engineering, University of Colorado at Boulder, February 2001.
9. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML: Revised 1997. The MIT Press, 1997.
10. M.D. Kulavaratharasah and A.H. Aghvami. Teletraffic performance evaluation of microcellular personal communication networks (PCN's) with prioritized handoff procedures. IEEE Transactions on Vehicular Technology, 48(1):137-152, January 1999.
11. I. Katzela and M. Naghshineh. Channel assignment schemes for cellular mobile telecommunication systems: A comprehensive survey. Proceedings of the IEEE, 82(9):1398-1430, 1994.
12. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Verifying continuous time Markov chains. In Computer-Aided Verification, volume 1102 of LNCS, pages 169-276. Springer-Verlag, 1996.
13. D.C. Petriu and H. Shen. Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In A.J. Field and P.G. Harrison, editors, Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, number 2324 in Lecture Notes in Computer Science, pages 159-177, London, UK, April 2002. Springer-Verlag.
14. B. Selic, A. Moore, M. Woodside, B. Watson, M. Bjorkander, M. Gerhardt, and D. Petriu. Response to the OMG RFP for Schedulability, Performance, and Time, revised, June 2001. OMG document number: ad/2001-06-14.
15. J.P. López-Grao, J. Merseguer, and J. Campos. From UML activity diagrams to stochastic Petri nets: Application to software performance analysis. In Proceedings of the Seventeenth International Symposium on Computer and Information Sciences, pages 405-409, Orlando, Florida, October 2002. CRC Press.
16. S. Donatelli, J. Hillston, and M. Ribaudo. A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets. In Proc. 6th International Workshop on Petri Nets and Performance Models, Durham, North Carolina, 1995.
17. S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. PEPA nets: A structured performance modelling formalism. Performance Evaluation, 2003. Special issue of selected papers from the Proceedings of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation. To appear.
18. S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Performance modelling with PEPA nets and PRISM. In Proceedings of the Second PASTA workshop, pages 23-39, Edinburgh, Scotland, June 2003.