Пример 2.12. На рис. 2.11 показана структура фрейма конфликтности, в котором использованы следующие обозначения фреймов и ссылок между фреймами F — фрейм-прототип, Fx — конкретный фрейм, в котором хранятся конкретные данные о возникшем конфликте. Эти данные используются во фрейме F для возбуждения тех или иных связей. Множество F — все те фреймы, которые требуется анализировать при возникновении конфликта, описанного во [c.73]
Компилятор GENER компилирует тексты продукций из исходных файлов настройки системы (языка пользователя), извлекает из них атрибуты и параметры описания состояний объектов, строит внутреннее представление базы, кодирует условия правил с помощью ролевых фреймов, транслирует операционные части правил, контролирует синтаксис языка, обнаруживая ошибки, и анализирует семантику алгоритма, выявляя конфликтные правила. В результате создаются верифицированные загрузочные файлы системы, конфигурирующие и настраивающие ее на прикладную задачу управления, контроля и мониторинга. [c.187]