A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2019

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems

Abstract

An approach for modelling adaptive complex systems should be flexible and scalable to allow a system to grow easily, and should have a formal foundation to guarantee the correctness of the system behavior. In this paper, we present the architecture, and formal syntax and semantics of HPobSAM which is a model for specifying behavioral and structural adaptations to model large-scale systems and address re-usability concerns. Self-adaptive modules are used as the building blocks to structure a system, and policies are used as the mechanism to perform both behavioral and structural adaptations. While a self-adaptive module is autonomous to achieve its local goals by collaborating with other self-adaptive modules, it is controlled by a higher-level entity to prevent undesirable behavior. HPobSAM is formalized using a combination of algebraic, graph transformation-based and actor-based formalisms.
Fichier principal
Vignette du fichier
490001_1_En_1_Chapter.pdf (681.43 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03769124 , version 1 (05-09-2022)

Licence

Attribution

Identifiers

Cite

Narges Khakpour, Jetty Kleijn, Marjan Sirjani. A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.3-19, ⟨10.1007/978-3-030-31517-7_1⟩. ⟨hal-03769124⟩
10 View
34 Download

Altmetric

Share

Gmail Facebook X LinkedIn More