Sciweavers

Share
SAC
2015
ACM

Optimal planning for architecture-based self-adaptation via model checking of stochastic games

3 years 5 months ago
Optimal planning for architecture-based self-adaptation via model checking of stochastic games
Architecture-based approaches to self-adaptation rely on architectural descriptions to reason about the best way of adapting the structure and behavior of software-intensive systems at runtime, either by choosing among a set of predefined adaptation strategies, or by automatically generating adaptation plans. Predefined strategy selection has a low computational overhead and facilitates dealing with uncertainty (e.g., by accounting explicitly for contingencies derived from unexpected outcomes of actions), but requires additional designer effort regarding the specification of strategies and is unable to guarantee optimal solutions. In contrast, runtime plan generation is able to explore a richer solution space and provide optimal solutions in some cases, but is more limited when dealing with uncertainty, and incurs higher computational overheads. In this paper, we propose an approach to optimal adaptation plan generation for architecture-based self-adaptation via model checking of ...
Javier Cámara, David Garlan, Bradley R. Sch
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where SAC
Authors Javier Cámara, David Garlan, Bradley R. Schmerl, Ashutosh Pandey 0002
Comments (0)
books