Model-driven design of performance requirements with UML and MARTE

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

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 model-driven 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.

Original languageEnglish
Title of host publicationICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies
Pages54-63
Number of pages10
Volume2
Publication statusPublished - 14 Sep 2011
Event6th International Conference on Software and Database Technologies, ICSOFT 2011 - Seville, Spain
Duration: 18 Jul 201121 Jul 2011

Conference

Conference6th International Conference on Software and Database Technologies, ICSOFT 2011
CountrySpain
CitySeville
Period18/07/1121/07/11

Fingerprint

Real time systems
Embedded systems
Scheduling
Throughput
Feedback

Keywords

  • MARTE
  • Model-driven engineering
  • Non-functional requirements
  • Performance testing
  • UML

Cite this

García-Domínguez, A., Medina-Bulo, I., & Marcos-Bárcena, M. (2011). Model-driven design of performance requirements with UML and MARTE. In ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies (Vol. 2, pp. 54-63)
García-Domínguez, Antonio ; Medina-Bulo, Inmaculada ; Marcos-Bárcena, Mariano. / Model-driven design of performance requirements with UML and MARTE. ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies. Vol. 2 2011. pp. 54-63
@inproceedings{1c3acfb0fd6448e8a6c881ea59eedbe9,
title = "Model-driven design of performance requirements with UML and MARTE",
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 model-driven 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.",
keywords = "MARTE, Model-driven engineering, Non-functional requirements, Performance testing, UML",
author = "Antonio Garc{\'i}a-Dom{\'i}nguez and Inmaculada Medina-Bulo and Mariano Marcos-B{\'a}rcena",
year = "2011",
month = "9",
day = "14",
language = "English",
isbn = "9789898425775",
volume = "2",
pages = "54--63",
booktitle = "ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies",

}

García-Domínguez, A, Medina-Bulo, I & Marcos-Bárcena, M 2011, Model-driven design of performance requirements with UML and MARTE. in ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies. vol. 2, pp. 54-63, 6th International Conference on Software and Database Technologies, ICSOFT 2011, Seville, Spain, 18/07/11.

Model-driven design of performance requirements with UML and MARTE. / García-Domínguez, Antonio; Medina-Bulo, Inmaculada; Marcos-Bárcena, Mariano.

ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies. Vol. 2 2011. p. 54-63.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Model-driven design of performance requirements with UML and MARTE

AU - García-Domínguez, Antonio

AU - Medina-Bulo, Inmaculada

AU - Marcos-Bárcena, Mariano

PY - 2011/9/14

Y1 - 2011/9/14

N2 - 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 model-driven 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.

AB - 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 model-driven 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.

KW - MARTE

KW - Model-driven engineering

KW - Non-functional requirements

KW - Performance testing

KW - UML

UR - http://www.scopus.com/inward/record.url?scp=80052580425&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:80052580425

SN - 9789898425775

VL - 2

SP - 54

EP - 63

BT - ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies

ER -

García-Domínguez A, Medina-Bulo I, Marcos-Bárcena M. Model-driven design of performance requirements with UML and MARTE. In ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies. Vol. 2. 2011. p. 54-63