Annotating UML models with non-functional properties for quantitative analysis

  • Authors:

  • Huáscar Espinoza;Hubert Dubois;Sébastien Gérard;Julio Medina;Dorina C. Petriu;Murray Woodside

  • Affiliations:

  • CEA Saclay, DRT/LIST/DTSI/SOL/L-LSP, Gif sur Yvette, France;CEA Saclay, DRT/LIST/DTSI/SOL/L-LSP, Gif sur Yvette, France;CEA Saclay, DRT/LIST/DTSI/SOL/L-LSP, Gif sur Yvette, France;Departamento de Electrónica y Computadores, Universidad de Cantabria, Santander, Spain;Department of Systems and Computer Engineering, Carleton University, Ottawa, ON, Canada;Department of Systems and Computer Engineering, Carleton University, Ottawa, ON, Canada

  • Venue:
  • MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

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.