В. Н. Дубинин, В. В. Вяткин
РЕФАКТОРИНГ ДИАГРАММ УПРАВЛЕНИЯ
ВЫПОЛНЕНИЕМ СТАНДАРТА IEC 61499
В работе рассматривается рефакторинг диаграмм управления выполнением (диаграмм ЕСС) в рамках графо-трансформационного подхода к проектированию распределенных компонентно-базированных систем управления
промышленными процессами на основе нового международного стандарта
IEC 61499. <...> Основной целью рефакторинга является избавление диаграммы
ЕСС от условных дуг без событий и потенциально-тупиковых (по условиям)
состояний. <...> Приводятся правила преобразования графов для совершения рефакторинга диаграмм ЕСС. <...> Прототип системы рефакторинга реализован в
системе трансформации графов AGG. <...> Введение
Международный стандарт IEC 61499 определяет архитектуру и языковые средства для построения распределенных компонентно-базированных
систем управления промышленными процессами нового поколения [1]. <...> Существуют хорошие предпосылки для использования MDE и графовых преобразований в проектировании распределенных
компонентно-базированных систем управления промышленными процессами
на основе нового международного стандарта IEC 61499, поскольку модели
ФБ могут быть естественно представлены в виде графов [5]. <...> Это относится
как к составным ФБ, приложениям и субприложениям, так и к базисным ФБ,
основой которых является диаграмма ЕСС. <...> Основной целью рефакторинга является избавление диаграммы ЕСС
от условных дуг без событий и потенциально-тупиковых (по условию) состояний. <...> Рефакторинг в данном случае во многом основывается на понятии
достижимости последовательностей ЕС-акций. <...> Приводятся правила преобразования графов для совершения рефакторинга диаграмм ЕСС. <...> Прототип системы рефакторинга реализован в системе трансформации графов AGG [7]. <...> Определим диаграмму ЕСС как кортеж:
ECC = (S, R, E, C, A, fE, fС, fA, fP),
где S = {s1, s2,…, sn} – множество вершин, представляющих ЕС-состояния;
R S S – множество дуг, представляющих ЕС-переходы; E = {e1, e2,…, em} –
множество <...>