На этапе трансляции с языка ОСА осуществляется построение графа переходов протокольного автомата в виде определенной ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Зайцев С.С.
Описание реализации протоколов сетей ЭВМ
На этапе трансляции с языка ОСА осуществляется построение графа переходов протокольного автомата в виде определенной структуры и выполняется предварительный анализ описания с выдачей диагностики в случае обнаружения некорректностей. Диагностика выдается с указанием номера строки исходной спецификации и местоположения обнаруженной ошибки в строке. При обнаружении ошибки препроцессор не останавливает свою работу, а пытается по возможности выполнить трансляцию дальше для того, чтобы пользователь получил как можно больше сведений об ошибках. Все диагностические сообщения этапа трансляции разбиты на три группы: предупреждающие - сообщения, которые никак не влияют на процесс трансляции, а служат лишь для оповещения пользователя, синтаксические - ошибки, не прекращающие процесс трансляции, и аварийные - ошибки, прекращающие процесс трансляции. Дополнительно протокольный препроцессор формирует на внешнем файле образ протокола. Формирование такого образа позволяет выполнять верификацию и отладку протокола в понятиях языка ОСА.