Formal modeling of evolving self-adaptive systems

A Formal Approach to Autonomic Systems Programming: The SCEL Language

“…Among the many works focussing on the self-adaptation capability of autonomic systems, we want to mention [Khakpour et al 2012]. This work proposes a policybased formalism that combines an actor-based model, for specifying the computational aspects of system elements, and a configuration algebra, for expressing autonomous managers in charge of enforcing adaptation policies.…”

The SCEL Language: Design, Implementation, Verification

“…Recently, policy languages (see e.g. [18,31,29]) are receiving much attention in different research fields, varying, e.g., from access control to network management. In fact, policies can regulate multiple system's aspects and, by using a declarative approach, can be easily integrated with other programming languages.…”

A White Box Perspective on Behavioural Adaptation

“…(ii) It allows us to relate approaches presented independently and in different areas but sharing, essentially, the same category of control data. This is, e.g., the case of the approaches based on modes of operation proposed by the Software Engineering [11] adaptation coordination strategies adaptation strategy 4.1 [48] adaptation rules adaptation strategy 5.3 [15] architecture architecture 3.1 [46] architecture architecture 3.2 [60] architecture architecture 3.2 [66] module stack architecture 3.2 [22] current workflow architecture 3.2 [7] connectors architecture 3.2 [11] architecture architecture 4.1 [76] effector channel architecture 4.3 [48] set of activities architecture 5.3 [61] entire programs entire program 4.1 [55] rewrite rules entire program 4.2 [35] processes entire program 4.3 [30] processes entire program 4.3 [28] features operation mode 4.1 [53] regions operation mode 4.1 [83] operation mode operation mode 4.1 [1] active configuration operation mode 4.1 [72] active configuration operation mode 4.1 [19] control proposition operation mode 4.1 [82] steady state programs operation mode 4.1 [42] state space zones operation mode 4.1 [33] graph rewrite rules operation mode 4.2 [80] base level Petri net operation mode 4.3 [51] adaptor processes operation mode 4.3 [16] adaptable (local) processes operation mode 4.3 [69] context stack operation mode 5.1 [36] advices operation mode 5.2 [44] policies operation mode 5.3 community with paradigm-oriented approaches and by the Theoretical Computer Science community with automata and process-algebraic approaches. (iii) It allows us to compare approaches apparently similar (and falling in the same section) but based on different categories of control data.…”

“…A prominent example is the Policy-based Self-Adaptive Model (PobSAM) [44], a formal framework for modeling and analyzing self-adaptive systems which relies on policies as a high-level mechanism to realize adaptive behaviors. Building upon the authors experience in the development of the PAGODA framework [74] (cf.…”