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 multitier application hosting environment managed as a component-based system.
Highlights
Как это сделано выше для операции add, что в имплементации у любой примитивной операции по реконфигурированию имеются более сильные предварительные условия, чем у соответствующей операции в модели спецификации
Kouchnarenko O., Weber J.-F., "Component-based Systems Reconfigurations Using Graph Grammars", Modeling and Analysis of Information Systems, 23:6 (2016), 804– 825
Summary
Динамические реконфигурирования, которые изменяют архитектуру самонастраивающихся [1] компонентно-ориентированных систем, не подвергаясь никакому системному времени простоя, должны происходить не только при подходящих обстоятельствах, но также должны сохранять непротиворечивость систем. Используя программный инструмент GROOVE преобразования графов [9], предложена реализация для выполнения динамического реконфигурирования над моделями компонентно-ориентированных систем, использующая графовые грамматики. Пример окружения для приема облачно-ориентированных многоуровневых приложений, рассматриваемый в качестве компонентно-ориентированной системы, представлен в разделе 2. Необходимая информация о нашей компонентно-ориентированной модели реконфигурирования, а также элементы ее операционной семантики даны в разделе 3. Отметим, что у самого составного компонента VM есть два предоставляемых интерфейса: один для предоставления сервисов и второй для мониторинга. Что каждая из управляемых VM содержит только наблюдателей для мониторинга операционной системы и типа предоставляемой услуги. У облачной среды есть три предоставляемых интерфейса: два, чтобы предоставить услугу, будь то версия разработки или нет, а третий для мониторинга, подключенный к подкомпоненту monitorObs, связанному со всеми контролируемыми интерфейсами управляемых VM. Во время жизненного цикла VM могут произойти некоторые изменения конфигурации; мы рассматриваем их как реконфигурирование компонентно-ориентированной системы
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
