Geodesic
Component-based systems reconfigurations using graph grammars
Modelirovanie i analiz informacionnyh sistem, Tome 23 (2016) no. 6, pp. 804-825

Voir la notice de l'article provenant de la source Math-Net.Ru

Dynamic reconfigurations can modify the architecture of component-based systems without incurring any system downtime. In this context, the main contribution of the present article is the establishment of correctness results proving component-based systems reconfigurations using graph grammars. New guarded reconfigurations allow us to build reconfigurations based on primitive reconfiguration operations using sequences of reconfigurations and the alternative and the repetitive constructs, while preserving configuration consistency. A practical contribution consists of the implementation of a component-based model using the GROOVE graph transformation tool. Then, after enriching the model with interpreted configurations and reconfigurations in a consistency compatible manner, a simulation relation is exploited to validate component systems’ implementations. This sound implementation is illustrated on a cloud-based multi-tier application hosting environment managed as a component-based system.
Keywords: component-based systems, consistency, GROOVE.
Mots-clés : dynamic reconfigurations, simulation relation, implementation 
@article{MAIS_2016_23_6_a10,
     author = {O. B. Kouchnarenko and J.-F. Weber},
     title = {Component-based systems reconfigurations using graph grammars},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {804--825},
     publisher = {mathdoc},
     volume = {23},
     number = {6},
     year = {2016},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a10/}
}
TY  - JOUR
AU  - O. B. Kouchnarenko
AU  - J.-F. Weber
TI  - Component-based systems reconfigurations using graph grammars
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2016
SP  - 804
EP  - 825
VL  - 23
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a10/
LA  - ru
ID  - MAIS_2016_23_6_a10
ER  - 
%0 Journal Article
%A O. B. Kouchnarenko
%A J.-F. Weber
%T Component-based systems reconfigurations using graph grammars
%J Modelirovanie i analiz informacionnyh sistem
%D 2016
%P 804-825
%V 23
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a10/
%G ru
%F MAIS_2016_23_6_a10
O. B. Kouchnarenko; J.-F. Weber. Component-based systems reconfigurations using graph grammars. Modelirovanie i analiz informacionnyh sistem, Tome 23 (2016) no. 6, pp. 804-825. http://geodesic.mathdoc.fr/item/MAIS_2016_23_6_a10/