1.2.1. Соглашения по диаграмме переходов состояний
Операции протокола могут быть описаны путем его разделения на множество взаимосвязанных функций. Операции этих функций могут быть описаны диаграммами состояний. Каждая диаграмма представляет регион функций и состоит из группы соединенных между собой и исключающих друг друга состояний. В любой заданный момент времени активно только одно из состояний функции (см. черт.1.2).
Пример нотации диаграммы переходов состояний
Обозначения:
( ) - условие, например (если нет конфликта);
[ ] -действие, например [сброс функции ПФС];
* - логическое И;
+ - логическое ИЛИ;
- время ожидания, зависит от реализации;
- тайм-аут задержки;
- тайм-аут возрастания отсрочки;
БП - безусловный переход.
Черт.1.2
Каждое состояние, которое может предполагаться для этой функции, изображается прямоугольником. Прямоугольник разделен на две части горизонтальной линией. В верхней части состояние идентифицируется именем, записываемым прописными буквами. В нижней части содержится имя любого действующего сигнала, который генерирует данная функция. Действия описываются короткими фразами, которые заключаются в квадратные скобки.
Все допустимые переходы между состояниями функции представлены графически в виде направленных стрелок. Переход, имеющий глобальный характер (например, условие выхода из всех состояний в состояние ХОЛОСТОЕ или СБРОС), указывается открытой стрелкой. Надписи у переходов являются квалификаторами, которые должны выполняться до того, как произойдет переход. Обозначение БП означает безусловный переход. Квалификаторы описываются короткими фразами, которые заключаются в скобки.
Переходы состояний, а также процессы передачи и приема сообщений происходят мгновенно. Если состояние введено и условие выхода из этого состояния не выполнено немедленно, то состояние продолжается с непрерывной передачей сообщений и выполнением действий, содержащихся в состоянии.
Диаграммы состояний содержат полномочное представление тех функций, которые на них изображены; при возникновении явных противоречий между текстом и диаграммами состояний предпочтение следует отдавать диаграммам состояний. Это не исключает, однако, наличия какого-либо явного описания в тексте, аналог которого отсутствует в диаграммах состояний.
Модели, представленные диаграммами состояний, предназначены в качестве основных спецификаций тех функций, которые должны быть обеспечены. Важно, однако, отличать модель от фактической реализации. Модели оптимизированы для простоты и четкости представления, тогда как в любой фактической реализации основное внимание может уделяться эффективности и пригодности конкретных используемых методов. Модель определяет функциональное поведение любого устройства, которое должно соответствовать этому стандарту, но не его внутреннюю структуру. Внутренние детали модели полезны только в той степени, в которой они ясно и четко определяют ее внешнее поведение.
1.2.2. Метод спецификации услуг и используемая нотация
Услуги уровня или подуровня представляют собой совокупность тех возможностей, которые он предлагает пользователю, расположенному в смежном верхнем (под) уровне. Абстрактные услуги определены здесь путем описания примитивов и параметров услуг, характеризующих каждую услугу. Это определение услуги не зависит от какой-бы то ни было конкретной реализации (см. черт.1.3).
Нотации сервисного примитива
Черт.1.3