Model Checking Goal-Oriented Requirements for Self-Adaptive Systems

被引：22

作者：

Abeywickrama, Dhaminda B. ^{[1
]}

Zambonelli, Franco ^{[1
]}

机构：

[1] Univ Modena & Reggio Emilia, Dept Sci & Engn Methods, I-42122 Reggio Emilia, Italy

来源：

2012 IEEE 19TH INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS) | 2012年

关键词：

self-adaptive systems; model checking; goal-oriented requirements engineering; software architecture;

D O I：

10.1109/ECBS.2012.30

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：33 / 42

页数：10

共 50 条

[1] SELF-ADAPTIVE MODEL BASED ON GOAL-ORIENTED REQUIREMENTS ENGINEERING FOR HANDLING SERVICE VARIABILITY
Aradea, Aradea
Supriana, Iping
Surendro, Kridanto
[J]. JOURNAL OF INFORMATION AND COMMUNICATION TECHNOLOGY-MALAYSIA, 2020, 19 (02): : 225 - 250
[2] Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Solano, Gabriela Felix
Caldas, Ricardo Diniz
Rodrigues, Genaina Nunes
Vogel, Thomas
Pelliccione, Patrizio
[J]. 2019 IEEE/ACM 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2019), 2019, : 89 - 99
[3] Goal-oriented modeling of requirements engineering for dynamically adaptive systems
Goldsby, Heather
Cheng, Betty H. C.
[J]. RE'06: 14TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 345 - +
[4] CSRML: A Goal-Oriented Approach to Model Requirements for Collaborative Systems
Teruel, Miguel A.
Navarro, Elena
Lopez-Jaquero, Victor
Montero, Francisco
Gonzalez, Pascual
[J]. CONCEPTUAL MODELING - ER 2011, 2011, 6998 : 33 - 46
[5] Goal-oriented requirements animation
Van, HT
van Lamsweerde, A
Massonet, P
Ponsard, C
[J]. 12TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 218 - 228
[6] Comparing Goal-Oriented Approaches to Model Requirements for CSCW
Teruel, Miguel A.
Navarro, Elena
Lopez-Jaquero, Victor
Montero, Francisco
Gonzalez, Pascual
[J]. EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2011, 2013, 275 : 169 - 184
[7] A goal-oriented and self-adaptive mesh refinement approach for the even parity neutron transport equation
Yousefi, Mostafa
Zolfaghari, A.
Minuchehr, A.
Abbassi, M. R.
[J]. PROGRESS IN NUCLEAR ENERGY, 2020, 119
[8] Core Ontology to Aid the Goal Oriented Specification for Self-Adaptive Systems
Soares, Monique
Vilela, Jessyka
Guedes, Gabriela
Silva, Carla
Castro, Jaelson
[J]. NEW ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, 2016, 444 : 609 - 618
[9] Evaluating a Requirements Change Request in a Goal-oriented Requirements Engineering Model
Aguilar, J. A.
Tripp, C.
Zaldivar, A.
Garcia, O. V.
Zurita, C. E.
[J]. IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (05) : 2411 - 2417
[10] Model Checking Process with Goal Oriented Requirements Analysis
Ogawa, Hideto
Kumeno, Fumihiro
Honiden, Shinichi
[J]. APSEC 2008:15TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2008, : 377 - 384

← 1 2 3 4 5 →