MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE

Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena

2011

Abstract

High-quality software needs to meet both functional and non-functional requirements. In some cases, software must accomplish specific performance requirements, but most of the time, only high-level performance requirements are available: it is up to the developer to decide what performance should be expected from each part of the system. In this context, the MARTE profile was proposed by the OMG to extend UML for modeldriven development of real-time and embedded systems, focusing on assisting early performance analysis and scheduling. We propose using the MARTE profile to derive the performance requirements of each action in an UML activity diagram from the requirements of the containing activity and some local annotations. In this work, we show how the MARTE profile can be used for this purpose, define algorithms for computing the required throughput and time limit for each action and study their theoretical and empirical performance. The algorithms have been integrated into the Papyrus UML diagram editor and feed back their results into the original model. Running both algorithms on activities with 225 paths requires 10 seconds on average.

References

  1. Alhaj, M. and Petriu, D. C. (2010). Approach for generating performance models from UML models of SOA systems. In Proc. of the 2010 Conference of the Center for Advanced Studies on Collaborative Research, CASCON 7810, pages 268-282, New York, NY, USA. ACM.
  2. Alhaj, M. and Petriu, D. C. (2010). Approach for generating performance models from UML models of SOA systems. In Proc. of the 2010 Conference of the Center for Advanced Studies on Collaborative Research, CASCON 7810, pages 268-282, New York, NY, USA. ACM.
  3. Bernardi, S., Campos, J., and Merseguer, J. (2010). TimingFailure risk assessment of UML design using time petri net bound techniques. Industrial Informatics, IEEE Transactions on, PP(99):1.
  4. Bernardi, S., Campos, J., and Merseguer, J. (2010). TimingFailure risk assessment of UML design using time petri net bound techniques. Industrial Informatics, IEEE Transactions on, PP(99):1.
  5. Bernardi, S., Merseguer, J., and Petriu, D. C. (2009). A dependability profile within MARTE. Software & Systems Modeling.
  6. Bernardi, S., Merseguer, J., and Petriu, D. C. (2009). A dependability profile within MARTE. Software & Systems Modeling.
  7. Eclipse Foundation (2011). Homepage of the Eclipse MDT Papyrus project. http://www.eclipse.org/modeling/mdt/papyrus/.
  8. Eclipse Foundation (2011). Homepage of the Eclipse MDT Papyrus project. http://www.eclipse.org/modeling/mdt/papyrus/.
  9. Erl, T. (2008). SOA: Principles of Service Design. Prentice Hall, Indiana, EEUU.
  10. Erl, T. (2008). SOA: Principles of Service Design. Prentice Hall, Indiana, EEUU.
  11. García-Domínguez, A. (2011). Homepage of the SODM+T project. https://neptuno.uca.es/redmine/projects/sodmt.
  12. García-Domínguez, A. (2011). Homepage of the SODM+T project. https://neptuno.uca.es/redmine/projects/sodmt.
  13. García-Domínguez, A., Medina-Bulo, I., and MarcosBárcena, M. (2010). Inference of performance constraints in Web Service composition models. CEUR Workshop Proc. of the 2nd Int. Workshop on ModelDriven Service Engineering, 608:55-66.
  14. García-Domínguez, A., Medina-Bulo, I., and MarcosBárcena, M. (2010). Inference of performance constraints in Web Service composition models. CEUR Workshop Proc. of the 2nd Int. Workshop on ModelDriven Service Engineering, 608:55-66.
  15. Kolovos, D., Paige, R., Rose, L., and Polack, F. (2010). The Epsilon Book. http://www.eclipse.org/gmt/epsilon.
  16. Kolovos, D., Paige, R., Rose, L., and Polack, F. (2010). The Epsilon Book. http://www.eclipse.org/gmt/epsilon.
  17. Lucas, H. (1971). Performance evaluation and monitoring. ACM Computing Surveys, 3(3):79-91. (2005). UML Profile for ity, Performance, and Time http://www.omg.org/spec/SPTP/1.1/.
  18. Lucas, H. (1971). Performance evaluation and monitoring. ACM Computing Surveys, 3(3):79-91. (2005). UML Profile for ity, Performance, and Time http://www.omg.org/spec/SPTP/1.1/.
  19. OMG (2008). UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (QFTP) 1.1. http://www.omg.org/spec/QFTP/1.1/.
  20. OMG (2008). UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (QFTP) 1.1. http://www.omg.org/spec/QFTP/1.1/.
  21. OMG (2009). UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) 1.0. http://www.omg.org/spec/MARTE/1.0/.
  22. OMG (2009). UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) 1.0. http://www.omg.org/spec/MARTE/1.0/.
  23. Shousha, M., Briand, L., and Labiche, Y. (2009). A UML/MARTE model analysis method for detection of data races in concurrent systems. In Model Driven Engineering Languages and Systems, volume 5795 of Lecture Notes in Computer Science, pages 47-61. Springer Berlin / Heidelberg.
  24. Shousha, M., Briand, L., and Labiche, Y. (2009). A UML/MARTE model analysis method for detection of data races in concurrent systems. In Model Driven Engineering Languages and Systems, volume 5795 of Lecture Notes in Computer Science, pages 47-61. Springer Berlin / Heidelberg.
  25. Smith, C. U. and Williams, L. G. (2003). Software performance engineering. In Lavagno, L., Martin, G., and Selic, B., editors, UML for Real: Design of Embedded Real-Time Systems, pages 343-366. Kluwer, The Netherlands.
  26. Smith, C. U. and Williams, L. G. (2003). Software performance engineering. In Lavagno, L., Martin, G., and Selic, B., editors, UML for Real: Design of Embedded Real-Time Systems, pages 343-366. Kluwer, The Netherlands.
  27. Tribastone, M. and Gilmore, S. (2008). Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In Proc. of the 7th Int. Workshop on Software and Performance, pages 67-78, Princeton, NJ, USA. ACM.
  28. Tribastone, M. and Gilmore, S. (2008). Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile. In Proc. of the 7th Int. Workshop on Software and Performance, pages 67-78, Princeton, NJ, USA. ACM.
  29. Weyuker, E. J. and Vokolos, F. I. (2000). Experience with performance testing of software systems: Issues, an approach, and case study. IEEE Transactions on Software Engineering, 26:1147-1156.
  30. Weyuker, E. J. and Vokolos, F. I. (2000). Experience with performance testing of software systems: Issues, an approach, and case study. IEEE Transactions on Software Engineering, 26:1147-1156.
  31. Woodside, M. (2007). From annotated software designs (UML SPT/MARTE) to model formalisms. In Proc. of the 7th Int. Conference on Formal Methods for Performance Evaluation, pages 429-467, Bertinoro, Italy. Springer-Verlag.
  32. Woodside, M. (2007). From annotated software designs (UML SPT/MARTE) to model formalisms. In Proc. of the 7th Int. Conference on Formal Methods for Performance Evaluation, pages 429-467, Bertinoro, Italy. Springer-Verlag.
  33. Woodside, M., Franks, G., and Petriu, D. (2007). The future of software performance engineering. In Proc. of Future of Software Engineering 2007, pages 171-187.
  34. Woodside, M., Franks, G., and Petriu, D. (2007). The future of software performance engineering. In Proc. of Future of Software Engineering 2007, pages 171-187.
  35. Woodside, M., Petriu, D. C., Petriu, D. B., Shen, H., Israr, T., and Merseguer, J. (2005). Performance by unified model analysis (PUMA). In Proc. of the 5th Int. Workshop on Software and Performance, pages 1-12, Palma, Illes Balears, Spain. ACM.
  36. Woodside, M., Petriu, D. C., Petriu, D. B., Shen, H., Israr, T., and Merseguer, J. (2005). Performance by unified model analysis (PUMA). In Proc. of the 5th Int. Workshop on Software and Performance, pages 1-12, Palma, Illes Balears, Spain. ACM.
  37. Yang, N., Yu, H., Sun, H., and Qian, Z. (2010). Modeling UML sequence diagrams using extended Petri nets. In Proc. of the 2010 Int. Conference on Information Science and Applications, pages 1-8.
  38. Yang, N., Yu, H., Sun, H., and Qian, Z. (2010). Modeling UML sequence diagrams using extended Petri nets. In Proc. of the 2010 Int. Conference on Information Science and Applications, pages 1-8.
Download


Paper Citation


in Harvard Style

García-Domínguez A., Medina-Bulo I. and Marcos-Bárcena M. (2011). MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 54-63. DOI: 10.5220/0003506000540063


in Harvard Style

García-Domínguez A., Medina-Bulo I. and Marcos-Bárcena M. (2011). MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 54-63. DOI: 10.5220/0003506000540063


in Bibtex Style

@conference{icsoft11,
author={Antonio García-Domínguez and Inmaculada Medina-Bulo and Mariano Marcos-Bárcena},
title={MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={54-63},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003506000540063},
isbn={978-989-8425-77-5},
}


in Bibtex Style

@conference{icsoft11,
author={Antonio García-Domínguez and Inmaculada Medina-Bulo and Mariano Marcos-Bárcena},
title={MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={54-63},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003506000540063},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE
SN - 978-989-8425-77-5
AU - García-Domínguez A.
AU - Medina-Bulo I.
AU - Marcos-Bárcena M.
PY - 2011
SP - 54
EP - 63
DO - 10.5220/0003506000540063


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - MODEL-DRIVEN DESIGN OF PERFORMANCE REQUIREMENTS WITH UML AND MARTE
SN - 978-989-8425-77-5
AU - García-Domínguez A.
AU - Medina-Bulo I.
AU - Marcos-Bárcena M.
PY - 2011
SP - 54
EP - 63
DO - 10.5220/0003506000540063