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, we investigate various models, schemes and mechanisms to model and engineer self-adaptation in complex software systems. To this end, we 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, we show how SOTA can be an effective tool to perform an early, goal-level, model checking analysis for adaptive systems. This allows the developers of complex self-adaptive systems to validate the actual correctness of the self-adaptive requirements at an early stage in the software life-cycle. The approach is explored and validated using a case study in the area of e-mobility.

Model Checking Goal-Oriented Requirements for Self-Adaptive Systems / Abeywickrama, Dhaminda; Zambonelli, Franco. - STAMPA. - (2012), pp. 33-42. ((Intervento presentato al convegno 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems tenutosi a Novi Sad nel Aprile 2012 [10.1109/ECBS.2012.30].

Model Checking Goal-Oriented Requirements for Self-Adaptive Systems

ABEYWICKRAMA, Dhaminda;ZAMBONELLI, Franco
2012-01-01

Abstract

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, we investigate various models, schemes and mechanisms to model and engineer self-adaptation in complex software systems. To this end, we 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, we show how SOTA can be an effective tool to perform an early, goal-level, model checking analysis for adaptive systems. This allows the developers of complex self-adaptive systems to validate the actual correctness of the self-adaptive requirements at an early stage in the software life-cycle. The approach is explored and validated using a case study in the area of e-mobility.
2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems
Novi Sad
Aprile 2012
33
42
Abeywickrama, Dhaminda; Zambonelli, Franco
Model Checking Goal-Oriented Requirements for Self-Adaptive Systems / Abeywickrama, Dhaminda; Zambonelli, Franco. - STAMPA. - (2012), pp. 33-42. ((Intervento presentato al convegno 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems tenutosi a Novi Sad nel Aprile 2012 [10.1109/ECBS.2012.30].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/740079
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 34
  • ???jsp.display-item.citation.isi??? 21
social impact