%0 Conference Proceedings
%T A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems
%+ Linnaeus University
%+ Leiden Institute of Advanced Computer Science [Leiden] (LIACS)
%+ Mälardalens University - Mälardalens Högskola, Sweden and Reykjavik University,
%A Khakpour, Narges
%A Kleijn, Jetty
%A Sirjani, Marjan
%Z Part 1: Agent Based Systems
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th International Conference on Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Hossein Hojjat
%Y Mieke Massink
%I Springer International Publishing
%3 Fundamentals of Software Engineering
%V LNCS-11761
%P 3-19
%8 2019-05-01
%D 2019
%R 10.1007/978-3-030-31517-7_1
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-03769124/document
%2 https://inria.hal.science/hal-03769124/file/490001_1_En_1_Chapter.pdf
%L hal-03769124
%U https://inria.hal.science/hal-03769124
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-11761