Протокольный автомат - Большая Энциклопедия Нефти и Газа, статья, страница 3
Формула Мэрфи из "Силы негативного мышления": оптимист не может быть приятно удивлен. Законы Мерфи (еще...)

Протокольный автомат

Cтраница 3


Как уже упоминали, динамика функционирования протокольного объекта на языке ОСА описывается в виде РКА. По существу РКА - это конечный автомат с предикатами, которые в свою очередь используют набор переменных. Ввиду того, что протокольный автомат одновременно, как правило, обслуживает множество логических соединений, работа РКА требует множество экземпляров наборов таких переменных. Аналогом контекста в модели ВОС является ОТС.  [31]

Конечное число состояний первого автомата часто еще называют основными состояниями РКА, а множество переменных второго автомата - контекстными переменными. Основные состояния служат для отображения этапов процесса развития протокольного автомата, а контекстные переменные содержат дополнительную информацию относящуюся к деталям этого развития.  [32]

Протокольное взаимодействие объектов одного уров-пя может быть формально специфицировано с помощью автомата. Такая спецификация носит название протокольного автомата. Язык ESTELLE позволяет описывать протокольные объекты в виде модулей, действия в которых определяются переходами протокольного автомата. В общем случае объект может поддерживать одновременно несколько соединений с другими объектами, поэтому модуль может содержать несколько экземпляров одного и того же протокольного автомата.  [33]

Согласно концепции РКА состояния протокольного автомата специфицируются множеством переменных. Конкретное состояние определяется значениями каждой из этих переменных. Выделяется особая переменная с о-стояние, играющая роль состояния конечного автомата ( основное состояние), на котором основан данный протокольный автомат. Существует зависимость между диапазоном значений переменной состояние и количеством остальных переменных.  [34]

Оператор тмр стоп служит для уничтожения запущенного таймерного объекта и указателя на этот объект из контекста. Также может выполняться только в случае запущенного таймера. Если в течение специфицированного интервала времени ( см. также операцию тмр змр) операция тмр стоп не выполняется, возникает событие окончание тайм-аута. Это событие вызывает запуск протокольного автомата точно так же, как и любое другое событие. Событие окончание тайм-аута тоже уничтожает запущенный таймерный объект и указатель на этот объект.  [35]

Протокольное взаимодействие объектов одного уров-пя может быть формально специфицировано с помощью автомата. Такая спецификация носит название протокольного автомата. Язык ESTELLE позволяет описывать протокольные объекты в виде модулей, действия в которых определяются переходами протокольного автомата. В общем случае объект может поддерживать одновременно несколько соединений с другими объектами, поэтому модуль может содержать несколько экземпляров одного и того же протокольного автомата.  [36]



Страницы:      1    2    3