RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2016, Volume 23, Number 6, Pages 804–825 (Mi mais542)  

Component-based systems reconfigurations using graph grammars

O. B. Kouchnarenko, J.-F. Weber

Universite de Bourgogne - Franche-Comte, 16 route de Gray, 25000 Besancon, France

Abstract: 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, dynamic reconfigurations, consistency, simulation relation, implementation, GROOVE.

Funding Agency Grant Number
Agence Nationale de la Recherche ANR-11-LABEX-0001-01
This work has been partially funded by the Labex ACTION, ANR-11-LABEX-0001-01.


DOI: https://doi.org/10.18255/1818-1015-2016-6-804-825

Full text: PDF file (1043 kB)
References: PDF file   HTML file

Bibliographic databases:

UDC: 519.987
Received: 15.10.2016

Citation: O. B. Kouchnarenko, J.-F. Weber, “Component-based systems reconfigurations using graph grammars”, Model. Anal. Inform. Sist., 23:6 (2016), 804–825

Citation in format AMSBIB
\Bibitem{KouWeb16}
\by O.~B.~Kouchnarenko, J.-F.~Weber
\paper Component-based systems reconfigurations using graph grammars
\jour Model. Anal. Inform. Sist.
\yr 2016
\vol 23
\issue 6
\pages 804--825
\mathnet{http://mi.mathnet.ru/mais542}
\crossref{https://doi.org/10.18255/1818-1015-2016-6-804-825}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3596163}
\elib{http://elibrary.ru/item.asp?id=27517425}


Linking options:
  • http://mi.mathnet.ru/eng/mais542
  • http://mi.mathnet.ru/eng/mais/v23/i6/p804

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Number of views:
    This page:107
    Full text:40
    References:15

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020