|
Данный способ интерпретирует процедуры приема и передачи сигналов как переходы из одного состояния в другое, при этом входными и выходными величинами считаются сигналы. Такая интерпретация позволяет описывать указанные процедуры с помощью таблицы (или диаграммы) переходов состояний. Описание процедур с помощью таблицы используется при отсутствии пропусков соглашений, описание с помощью диаграммы обеспечивает легкость восприятия, но оказывается сложным при необходимости распознавания для обеих сторон порядковых номеров, так как при этом возрастает полное число состояний. В настоящее время в большинстве случаев следуют рекомендациям CCITT и ISO, в ссютветствии с которыми для улучшения восприятия используются одновременно естественный язык и программные методы описания.
Сеть Петри
Сеть Петри позволяет описывать процедуры передачи и приема сигналов в виде графа, при этом используются специальные метки, перемещаемые по дугам графа. Когда метки концентрируются в вершинах графа, удовлетворяющих определенным условиям (например, в вершинах, интерпретируемых как состояние ожидания ответа), метка может переместиться в следующую вершину (например, в состояние возможной передачи). Способ описания условий передачи и приема сигналов с использованием сети Петри много проще, чем способ ограниченных состояний.
Язык программирования
В этом случае процедуры передачи и приема сигналов описываются как результаты последовательного выполнения команд программы, что позволяет достаточно просто определять порядок следования сигналов. Так как в основе данного способа используется язык программирования, то в общем случае он уступает первому способу в части выполнения первого требования. Однако по сравнению с другими способами он проще с точки зрения практической реализации. Ниже исследуются методы подтверждения протоколов, соответствующие каждому из трех способов описания протоколов.
Методы подтверждения протоколов
При выборе наиболее подходящего метода подтверждения протоколов руководствуются такими критериями, как:
• наличие или отсутствие пропусков соглашений;
• наличие или отсутствие тупиковых ситуаций с неограниченным пребыванием в одном и том же состоянии, а также наличие или отсутствие петель, из которых невозможно выйти;
• наличие или отсутствие ситуаций, когда в некотором режиме одни и те же данные, пересылаемые в одном направлении, нельзя принять более двух раз, а в обратном направлении нельзя принять ни разу.
Большинство методов подтверждения реализовано для протоколов, описанных способом ограниченных состояний, однако имеется ряд примеров использования этих методов подтверждения, когда удается достаточно просто описать переходы состояний. Для разных способов описания протоколов предлагаются всевозможные методы подтверждения протоколов, но до практической реализации предложенных методов дело не доходит.
|
