Model Checking Goal-Oriented Requirements for Self-Adaptive Systems
To deal with the increasing complexity and uncertainty of software systems, novel software engineering models and tools are required to make such systems self-adaptive. As part of ongoing research, the authors investigate various models, schemes and mechanisms to model and engineer self-adaptation in complex software systems. To this end, they have defined SOTA (State Of The Affairs) as a general goal-oriented modeling framework for the analysis and design of self-adaptive systems. In this paper, by transforming the conceptual SOTA model into an operational one, they show how SOTA can be an effective tool to perform an early, goal-level, model checking analysis for adaptive systems.