@inproceedings{c260dcfe0d2d4c168f2e32d998bb7883,
title = "Annotating UML models with non-functional properties for quantitative analysis",
abstract = "This work is motivated by the recent Request For Proposals issued by OMG for a new UML Profile named {"}Modeling and Analysis of Real-Time and Embedded systems{"}. The paper describes first some domain concepts for annotating Non-Functional Properties (NFPs), whose focus is on supporting temporal verification of UML-based models. Particular emphasis is given to schedulability and performance analysis for real-time systems. We discuss next some general requirements for NFP annotations and evaluate how the UML profiles for {"}Schedulability, Performance, and Time Specification{"} and for {"}Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms{"}, address these requirements. Last but not least, the paper proposes a preliminary framework for describing NFPs by considering the major requirements previously stated and by analyzing some UML mechanisms to attach NFPs to model elements.",
author = "Hu{\'a}scar Espinoza and Hubert Dubois and S{\'e}bastien G{\'e}rard and Julio Medina and Petriu, \{Dorina C.\} and Murray Woodside",
year = "2006",
doi = "10.1007/11663430\_9",
language = "English",
isbn = "3540317805",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "79--90",
booktitle = "Satellite Events at the MoDELS 2005 Conference",
note = "MoDELS 2005 International Workshops OCLWS, MoDeVA, MARTES, AOM, MTiP, WiSME, MODAUI, NfC, MDD, WUsCAM ; Conference date: 02-10-2005 Through 07-10-2005",
}