• DocumentCode
    2065282
  • Title

    Model Based Development of Quality-Aware Software Services

  • Author

    de Miguel, Miguel A ; Massonet, Philippe ; Silva, Juan P. ; Briones, Javier

  • Author_Institution
    Dept. de Ing. de Sist. Telemdticos, Univ. Politec. de Madrid, Madrid
  • fYear
    2008
  • fDate
    5-7 May 2008
  • Firstpage
    563
  • Lastpage
    569
  • Abstract
    Modelling languages and development frameworks give support for functional and structural description of software architectures. But quality-aware applications require languages which allow expressing QoS as a first-class concept during architecture design and service composition, and to extend existing tools and infrastructures adding support for modelling, evaluating, managing and monitoring QoS aspects. In addition to its functional behaviour and internal structure, the developer of each service must consider the fulfilment of its quality requirements. If the service is flexible, the output quality depends both on input quality and available resources (e.g., amounts of CPU execution time and memory). From the software engineering point of view, modelling of quality-aware requirements and architectures require modelling support for the description of quality concepts, support for the analysis of quality properties (e.g. model checking and consistencies of quality constraints, assembly of quality), tool support for the transition from quality requirements to quality-aware architectures, and from quality-aware architecture to service run-time infrastructures. Quality management in run-time service infrastructures must give support for handling quality concepts dynamically. QoS-aware modeling frameworks and QoS-aware runtime management infrastructures require a common evolution to get their integration.
  • Keywords
    formal specification; formal verification; quality of service; software architecture; software quality; specification languages; QoS; model based development; model checking; modelling languages; modelling support; quality management; quality requirements; quality-aware architectures; quality-aware requirements; quality-aware software services; software architectures; Application software; Assembly; Computer architecture; Monitoring; Quality management; Quality of service; Runtime; Software architecture; Software engineering; Software quality;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on
  • Conference_Location
    Orlando, FL
  • Print_ISBN
    978-0-7695-3132-8
  • Type

    conf

  • DOI
    10.1109/ISORC.2008.23
  • Filename
    4559588