Cтраница 3
Как уже упоминали, динамика функционирования протокольного объекта на языке ОСА описывается в виде РКА. По существу РКА - это конечный автомат с предикатами, которые в свою очередь используют набор переменных. Ввиду того, что протокольный автомат одновременно, как правило, обслуживает множество логических соединений, работа РКА требует множество экземпляров наборов таких переменных. Аналогом контекста в модели ВОС является ОТС. [31]
Конечное число состояний первого автомата часто еще называют основными состояниями РКА, а множество переменных второго автомата - контекстными переменными. Основные состояния служат для отображения этапов процесса развития протокольного автомата, а контекстные переменные содержат дополнительную информацию относящуюся к деталям этого развития. [32]
Протокольное взаимодействие объектов одного уров-пя может быть формально специфицировано с помощью автомата. Такая спецификация носит название протокольного автомата. Язык ESTELLE позволяет описывать протокольные объекты в виде модулей, действия в которых определяются переходами протокольного автомата. В общем случае объект может поддерживать одновременно несколько соединений с другими объектами, поэтому модуль может содержать несколько экземпляров одного и того же протокольного автомата. [33]
Согласно концепции РКА состояния протокольного автомата специфицируются множеством переменных. Конкретное состояние определяется значениями каждой из этих переменных. Выделяется особая переменная с о-стояние, играющая роль состояния конечного автомата ( основное состояние), на котором основан данный протокольный автомат. Существует зависимость между диапазоном значений переменной состояние и количеством остальных переменных. [34]
Оператор тмр стоп служит для уничтожения запущенного таймерного объекта и указателя на этот объект из контекста. Также может выполняться только в случае запущенного таймера. Если в течение специфицированного интервала времени ( см. также операцию тмр змр) операция тмр стоп не выполняется, возникает событие окончание тайм-аута. Это событие вызывает запуск протокольного автомата точно так же, как и любое другое событие. Событие окончание тайм-аута тоже уничтожает запущенный таймерный объект и указатель на этот объект. [35]
Протокольное взаимодействие объектов одного уров-пя может быть формально специфицировано с помощью автомата. Такая спецификация носит название протокольного автомата. Язык ESTELLE позволяет описывать протокольные объекты в виде модулей, действия в которых определяются переходами протокольного автомата. В общем случае объект может поддерживать одновременно несколько соединений с другими объектами, поэтому модуль может содержать несколько экземпляров одного и того же протокольного автомата. [36]