Abstract
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 language | English |
---|---|
Pages (from-to) | 387-409 |
Number of pages | 23 |
Journal | IEEE Transactions on Software Engineering |
Volume | 37 |
Issue number | 3 |
Early online date | 19 Oct 2010 |
DOIs | |
Publication status | Published - May 2011 |
Keywords
- 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