Formalizing compound MAPE patterns for decentralized control in self-adaptive systems

Autor: Ahmed Hadj Kacem, Marwa Hachicha, Riadh Ben Halima
Rok vydání: 2018
Předmět:
Zdroj: RCIS
DOI: 10.1109/rcis.2018.8406680
Popis: Self-adaptive systems are able to adjust au-tonomously their behavior when the software or hardware is not accomplishing what it is intended to do. The MAPE control loop, based on the following components: Monitor, Analyze, Plan and Execute, is a prominent approach for realizing adaptation. Engineering complex self-adaptive systems needs the use of several architectural patterns in a composed form in their designs. In this paper, we focus on modeling compound MAPE patterns for decentralized control in self-adaptive systems and defining formally the composition process using the Event-B method. The composition of design patterns is illustrated by the composition of the master/slave and the coordinated control patterns.
Databáze: OpenAIRE