Model Checking Goal-Oriented Requirements for Self-Adaptive Systems

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 641.77 KB