Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile

WOSP'08: Proceedings of the 7th International Workshop on Software and Performance 2008

Volumn , Issue , 2008, Pages 67-78

  Tribastone, Mirco ^a   Gilmore, Stephen ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

MARTE; PEPA; UML

Indexed keywords

ACTIVITY DIAGRAMS; ACTIVITY FLOWS; AUTOMATIC EXTRACTIONS; AUTOMATIC TRANSLATIONS; DEVELOPMENT METHODOLOGIES; ECLIPSE PLATFORMS; MARTE; PEPA; PERFORMANCE ENGINES; PERFORMANCE INDICES; PERFORMANCE MODELS; QUANTITATIVE ANALYSES; REAL TIMES; RECENT TRENDS; SOFTWARE PERFORMANCE EVALUATIONS; SOFTWARE TOOLS; STOCHASTIC PROCESS ALGEBRAS; SYNCHRONISATION; UML; UML ACTIVITY DIAGRAMS; UML PROFILES;

EMBEDDED SYSTEMS; GRAPHIC METHODS; INFORMATION THEORY; INTEGRATED CIRCUITS; MODELS; REAL TIME SYSTEMS; SEMANTICS; SEQUENTIAL MACHINES; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; TECHNICAL PRESENTATIONS; TRANSLATION (LANGUAGES); UNIFIED MODELING LANGUAGE;

STOCHASTIC MODELS;

EID: 57349137241     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1383559.1383569     Document Type: Conference Paper

References (30)

1. Proceedings of the Fifth International Workshop on Software and Performance, WOSP 2005, Palma, Illes Balears, Spain, July 12-14, 2005. ACM, 2005.
2. S. Balsamo, A. D. Marco, P. Inverardi, and M. Simeoni. Model-based performance prediction in software development: A survey. IEEE Trans, Software Eng., 30(5):295-310, 2004.
3. S. Balsamo and M. Marzolla. Performance evaluation of UML software architectures with multiclass queueing network models. In WOSP [1], pages 37-42.
4. S. Bernardi, S. Donatelli, and J. Merseguer. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. In P. Inverardi, S. Balsamo, and B. Selic, editors, Proceedings of the Third International Workshop on Software and Performance, pages 35-45, Rome, Italy, July 2002. ACM.
5. J. T. Bradley and S. T. Gilmore. Stochastic simulation methods applied to a secure electronic voting model. Electr. Notes Theor. Comput. Sci., 151(3):5-25, 2006.
6. C. Canevet, S. Gilmore, J. Hillston, L. Kloul, and P. Stevens. Analysing UML 2.0 Activity Diagrams in the Software Performance Engineering Process. In Dujmovic et al. [9], pages 74-78.
7. C. Canevet, S. Gilmore, J. Hillston, M. Prowse, and P. Stevens. Performance Modelling with UML and Stochastic Process Algebras. IEE Proceedings: Computers and Digital Techniques, 150(2):107-120, Mar. 2003.
8. A. D'Ambrogio and P. Bocciarelli. A model-driven approach to describe and predict the performance of composite services. In V. Cortellessa, S. Uchitel, and D. Yankelevich, editors, WOSP, pages 78-89. ACM, 2007.
9. J. J. Dujmovic, V. A. F. Almeida, and D. Lea, editors. Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004. ACM, 2004.
10. Eclipse Foundation. Eclipse UML2 Project Home Page. http://www. eclipse.org/uml2/.
11. S. Gilmore, J. Hillston, L. Kloul, and M. Ribaudo. Software Performance Modelling Using PEPA Nets. In Dujmovic et al. [9], pages 13-23.
12. S. Gilmore, J. Hillston, and M. Ribaudo. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering, 27(5):449-464, May 2001.
13. S. Gilmore and L. Kloul. A unified tool for performance modelling and predicition. In Proceedings of the 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP'03), number 2788 in LNCS, pages 179-192, Edinburgh, Scotland, Sept. 2003. Springer-Verlag.
14. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
15. J. Hillston. Fluid flow approximation of PEPA models. In Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, pages 33-43, Torino, Italy, Sept. 2005. IEEE Computer Society Press.
16. J. Hillston and Y. Wang. Performance evaluation of UML models via automatically generated simulation models. In S. A. Jarvis, editor, Proceedings of the 19th Annual UK Performance Engineering Workshop, pages 64-78, Warwick, UK, 2003.
17. IBM Corporation. Rational Software Architect. http://www-306.ibm.com/ software/awdtools/architect/swarchitect/.
18. C. Lindemann, A. Thummler, A. Klemm, M. Lohmann, and O. P. Waldhorst. Performance analysis of time-enhanced UML diagrams based on stochastic processes. In Workshop on Software and Performance, pages 25-34, 2002.
19. J. P. Lopez-Grao, J. Merseguer, and J. Campos. From UML activity diagrams to Stochastic Petri nets: application to software performance engineering. In Dujmovic et al. [9], pages 25-36.
20. J. Merseguer, S. Bernardi, J. Campos, and S. Donatelli. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. In M. Silva, A. Giua, and J. Colom, editors, Proceedings of the 6th International Workshop on Discrete Event Systems, pages 295-302, Zaragoza, Spain, October 2002. IEEE Computer Society Press.
21. J. Merseguer and J. Campos. Exploring Roles for the UML Diagrams in Software Performance Engineering. In Proceedings of the 2003 International Conference on Software Engineering Research and Practice SERP03, pages 43-47, Las Vegas, Nevada, USA, June 2003. CSREA Press.
22. Object Management Group. OMG MARTE Tools, http://www.omgmarte.org/Tools. htm.
23. Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. Version 1.1. OMG, 2005. OMG document number formal/05-07-04.
24. Object Management Group. UML 2.2.1 Superstructure Specification. OMG, 2007. OMG document number formal/05-07-04.
25. Object Management Group. UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE). Beta 1. OMG, 2007. OMG document number ptc/07-08-04.
26. D. C. Petriu and H. Shen. Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications. In T. Field, P. G. Harrison, J. T. Bradley, and U. Harder, editors, Computer Performance Evaluation / TOOLS, volume 2324 of Lecture Notes in Computer Science, pages 159-177. Springer, 2002.
27. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley.
28. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language User Guide. Addison-Wesley.
29. M. Tribastone. The PEPA Plug-in Project. In Fourth International Conference on the Quantitative Evaluation of Systems, pages 53-54, United Kingdom, September 2007. IEEE Computer Society.
30. C. M. Woodside, D. C. Petriu, D. B. Petriu, H. Shen, T. Israr, and J. Merseguer. Performance by unified model analysis (PUMA). In WOSP [1], pages 1-12.