На этапе трансляции с языка ОСА осуществляется построение графа переходов протокольного автомата в виде определенной ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Зайцев С.С. Описание реализации протоколов сетей ЭВМ


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

(cкачать страницу)

Смотреть книгу на libgen

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