ActivFORMS: active formal models for self-adaptation

  title={ActivFORMS: active formal models for self-adaptation},
  author={M. Usman Iftikhar and Danny Weyns},
Self-adaptation enables a software system to deal autonomously with uncertainties, such as dynamic operating conditions that are difficult to predict or changing goals. A common approach to realize self-adaptation is with a MAPE-K feedback loop that consists of four adaptation components: Monitor, Analyze, Plan, and Execute. These components share Knowledge models of the managed system, its goals and environment. To provide guarantees of the adaptation goals, state of the art approaches propose… CONTINUE READING
Highly Cited
This paper has 102 citations. REVIEW CITATIONS
62 Citations
1 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 62 extracted citations

102 Citations

Citations per Year
Semantic Scholar estimates that this publication has 102 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…