Annotating UML Models with Non-functional Properties for Quantitative Analysis

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

DOI: 10.1007/11663430_9

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3844)
Cite this paper as:
Espinoza H., Dubois H., Gérard S., Medina J., Petriu D.C., Woodside M. (2006) Annotating UML Models with Non-functional Properties for Quantitative Analysis. In: Bruel JM. (eds) Satellite Events at the MoDELS 2005 Conference. MODELS 2005. Lecture Notes in Computer Science, vol 3844. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Huáscar Espinoza
    • 1
  • Hubert Dubois
    • 1
  • Sébastien Gérard
    • 1
  • Julio Medina
    • 2
  • Dorina C. Petriu
    • 3
  • Murray Woodside
    • 3
  1. 1.CEA Saclay, DRT/LIST/DTSI/SOL/L-LSPGif sur YvetteFrance
  2. 2.Departamento de Electrónica y ComputadoresUniversidad de CantabriaSantanderSpain
  3. 3.Department of Systems and Computer EngineeringCarleton UniversityOttawaCanada

Personalised recommendations