Dynamic QoS management and optimisation in service-based systems

Radu C. Calinescu, Lars Grunske, Marta Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli

Research output: Contribution to journalArticlepeer-review


Service-based systems that are dynamically composed at run time to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimisation of Service-based systems). QoSMOS can be used to develop service-based systems that achieve their QoS requirements through dynamically adapting to changes in the system state, environment and workload. QoSMOS service-based systems translate high-level QoS requirements specified by their administrators into probabilistic temporal logic formulae, which are then formally and automatically analysed to identify and enforce optimal system configurations. The QoSMOS self-adaptation mechanism can handle reliability- and performance-related QoS requirements, and can be integrated into newly developed solutions or legacy systems. The effectiveness and scalability of the approach are validated using simulations and a set of experiments based on an implementation of an adaptive service-based system for remote medical assistance.
Original languageEnglish
Pages (from-to)387-409
Number of pages23
JournalIEEE Transactions on Software Engineering
Issue number3
Early online date19 Oct 2010
Publication statusPublished - May 2011


  • adaptive software systems
  • analytical models
  • formal methods
  • Markov processes
  • model checking
  • modeling and prediction
  • monitors
  • optimization
  • performance
  • probabilistic logic
  • QoS management
  • QoS optimisation
  • quality analysis and evaluation
  • quality of service
  • reliability
  • scattering
  • service-based systems
  • software engineering
  • unified modeling language


Dive into the research topics of 'Dynamic QoS management and optimisation in service-based systems'. Together they form a unique fingerprint.

Cite this