Реконфигурирование компонентно-ориентированных систем на базе графовых грамматикКушнаренко О. Б., Вебер Ж-Ф.
получена 15 октября 2016Аннотация. Динамические реконфигурирования могут изменять архитектуру компонентно-ориентированных систем, не подвергаясь никакому системному простою. В этом контексте ос-новной вклад данной статьи -доказательство результатов корректности реконфигурирования систем, используя графовые грамматики. В этой статье предложены новые охраняемые рекон-фигурирования на базе логики Хоара, которые построены на основе примитивных операций по реконфигурированию и включают последовательности реконфигурирований, альтернативные и повторяющиеся конструкции, сохраняя при этом непротиворечивость конфигураций. Практиче-ский вклад состоит в описании имплементации компонентно-ориентированной модели, исполь-зуя программный инструмент GROOVE для преобразования графов. После обогащения модели интерпретированными конфигурациями и реконфигурированиями, совместимого с непротиворе-чивостью, отношение симуляции используется для доказательства корректности имплементации, выполненной под GROOVE. Эта имплементация иллюстрирована на примере многоуровневого облачно-ориентированного приложения.Ключевые слова: компонентно-ориентированные системы, динамическое реконфигурирование, непротиворечивость, соответствие, реализация, GROOVE Для цитирования: Кушнаренко О. Б., Вебер Ж-Ф., "Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик", Моделирование и анализ информационных систем, 23:6 (2016), 804-825.
Об авторах:Кушнаренко Ольга Борисовна, orcid.org/0000-0003-1482-9015, профессор информатики, доктор, Университет Бургундия Франш-Комтэ, ул. Рут де Грей, 16, г. Безансон, 25000 Франция, e-mail: olga.kouchnarenko@univ-fcomte.fr Вебер Жан-Франсуа, аспирант, Университет Бургундия Франш-Комтэ, ул. Рут де Грей, 16, г. Безансон, 25000 Франция, e-mail: jfweber@femto-st.fr
Благодарности:Работа выполнена при финансовой поддержке французской целевой программы Labex ACTION, ANR-11-LABEX-0001-01 .