|
Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик
О. Б. Кушнаренко, Ж.-Ф. Вебер Университет Бургундия Франш-Комтэ, ул. Рут де Грей, 16, г. Безансон, 25000 Франция
Аннотация:
Динамические реконфигурирования могут изменять архитектуру компонентно-ориентированных систем, не подвергаясь никакому системному простою. В этом контексте основной вклад данной статьи — доказательство результатов корректности реконфигурирования систем, используя графовые грамматики. В этой статье предложены новые охраняемые реконфигурирования на базе логики Хоара, которые построены на основе примитивных операций по реконфигурированию и включают последовательности реконфигурирований, альтернативные и повторяющиеся конструкции, сохраняя при этом непротиворечивость конфигураций. Практический вклад состоит в описании имплементации компонентно-ориентированной модели, используя программный инструмент GROOVE для преобразования графов. После обогащения модели интерпретированными конфигурациями и реконфигурированиями, совместимого с непротиворечивостью, отношение симуляции используется для доказательства корректности имплементации, выполненной под GROOVE. Эта имплементация иллюстрирована на примере многоуровневого облачно-ориентированного приложения.
Ключевые слова:
компонентно-ориентированные системы, динамическое реконфигурирование, непротиворечивость, соответствие, реализация, GROOVE.
Поступила в редакцию: 15.10.2016
Образец цитирования:
О. Б. Кушнаренко, Ж.-Ф. Вебер, “Реконфигурирование компонентно-ориентированных систем на базе графовых грамматик”, Модел. и анализ информ. систем, 23:6 (2016), 804–825
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mais542 https://www.mathnet.ru/rus/mais/v23/i6/p804
|
Статистика просмотров: |
Страница аннотации: | 184 | PDF полного текста: | 62 | Список литературы: | 23 |
|