RT Journal Article
T1 A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems.
A1 Araujo De Oliveira, Patricia
A1 Durán-Muñoz, Francisco Javier
A1 Pimentel-Sánchez, Ernesto
K1 Sistemas informáticos - Desarrollo
AB An adaptive system can modify its settings at runtime as a response to changes in its operational environment. To analyse this kind of systems at design time is a difficult task since it requires considering the system together with the adaptation operations, and taking into account how such adaptations act on the system. In order to use simulation-based techniques for the analysis of such systems, we not only need precise executable models of the systems to be analyzed, but also to capture the semantics of their adaptation mechanisms. Given the wide range and flexibility of adaptation operations, we need ways to allow the definition of new operations. We present a flexible approach for the definition and simulation-based analysis in design-time of adaptive component-based systems. Our approach combines an extension of the Palladio component model in e-Motions, a model of the adaptation mechanisms, and elastic requirements specification using the SYBL language. From the model of the system, its adaptation mechanisms, and its requirements, an executable Maude specification is generated for simulation. The application of the approach is illustrated on a use case that comprises some components and adaptations rules. The example is then analyzed using simulations. It is also shown that it is indeed possible to define additional metrics, specify adaptation requirements and rules which conduct simulations of the models in a more flexible way, and that the results of the simulation performed from these definitions can be used to carry on a valuable predictive performance analysis.
PB Wiley
YR 2021
FD 2021
LK https://hdl.handle.net/10630/35246
UL https://hdl.handle.net/10630/35246
LA eng
NO Patrícia Araújo de Oliveira, Francisco Durán, Ernesto Pimentel: A procedural and flexible approach for specification, modeling, definition, and analysis for self-adaptive systems. Softw. Pract. Exp. 51(6): 1387-1415 (2021) https://doi.org/10.1002/spe.2962
NO Política de acceso abierto tomada de: https://openpolicyfinder.jisc.ac.uk/id/publication/7567
NO CNPq of the Ministry of Science and Technology, 205846/2014-9; Ministry of Economy, Industry and Competitiveness, PGC2018-094905-B-100; Regional Government of Andalucia, UMA18-FEDERJA-180 and UMA-CEIATECH-08
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 19 ene 2026