Описание - протокол
Cтраница 1
Описание протокола АР203 на языке Express представляет собой схему, в которой можно выделить следующие части. [1]
 |
Пример схемы составления ведомости выплаты стипендии. а - детальной. б - укрупненной. [2] |
Описание протокола заседания стипендиальной комиссии ведомостей комсомольских и профсоюзных взносов в примере не приводится. [3]
 |
Связь модели в форме МА с другими уровнями модели протокола. [4] |
На верхнем уровне описания протокола целесообразно выделить основные фазы передачи информации и их взаимосвязи. Для этой цели удобна формализация с использованием метода диаграмм состояний, наиболее распространенного и наглядного средства укрупненного моделирования протоколов ИВС. [5]
Посвящена формальным методам описаний протоколов. Основу первых двух методов представляют языки LOTOS и ESTELLE, разработанные в Международной организации стандартов. Третий метод представлен языком ОСА ( описание сетевых архитектур) и предназначается для проектирования и реализации протоколов в MB К Эльбрус. Описание трех указанных языков сопровождается рассмотрением модели расширенного конечного автомата и исчисления взаимодействующих систем, на которых базируются эти языки. Для пояснения работы основных языковых конструкций используются многочисленные примеры. Дается сравнительный анализ и определяется область применимости каждого метода. Приводятся спецификации различными методами транспортного протокола и протокола АВР. [6]
Этот интерфейс состоит из трех частей: описания протокола и других характеристик; описания совокупности характеристик конструкций как модулей; описания характеристик конструкций на основе Евроилат. Под этим термином понимаются приспособления для крепления модулей, крсйтов и вентиляционных установок. Таким образом, интерфейс допускает реализацию двух вариантов конструкций. [7]
Этот интерфейс состоит из трех частей: описания протокола и других характеристик; описания совокупности характеристик конструкций как модулей; описания характеристик конструкций на основе Европлат. Под этим термином понимаются приспособления для крепления модулей, крсйтов и вентиляционных установок. Таким образом, интерфейс допускает реализацию двух вариантов конструкций. [8]
 |
Отношение между уровневыми протоколами и межуровневыми интерфейсами. [9] |
Для того чтобы упорядочить разработку программного обеспечения ЛС и обеспечить программную совместимость различного оборудования, создаваемого различными производителями и включаемого в ЛС, описания протоколов обычно оформляются в виде стандартов. Стандарт протокола представляет собой строгое формализованное описание протокола соответствующего уровня, которое может быть применено при разработке программных и для протокола физического уровня технических средств ЛС. К настоящему времени наиболее проработаны стандарты протоколов четырех нижних уровней эталонной модели ВОС. [10]
Важным подмножеством сетевых функций является реализация протокольных процедур в СП. Поскольку описание протоколов в большинстве случаев имеет неформальный характер, то это приводит к неоднозначной трактовке процедур разными проектировщиками и усложняет процесс разработки СП. [11]
Основой информационного взаимодействия РВС, во многом определяющей корректность, надежность и эффективность их функционирования, являются протоколы, разработке которых уделяется большое внимание. Поэтому прежде всего встает вопрос о выборе формы описания протоколов и сервисов. [12]
Отметим здесь также, что наряду с термином узел будет использоваться эквивалентный ему термин станция. Кроме того, эквивалентными считаются термины пакет, кадр и блок данных, используемые при описании протокола и его программной реализации. [13]
Используемая модель РКА является недетерминированной в том смысле, что из данного состояния в данное время в некоторых случаях возможны различные переходы. Метод выбора конкретного перехода среди возможных оставлен на усмотрение реализатора компилятора с языка или реализатора непосредственно самого протокола. Описание протокола должно удовлетворять любой стратегии разрешения недетерминизма, в противном случае оно некорректно. [14]
Каждое из таких описаний вводит свои терминологические понятия, которые и используются в дальнейшем. И хотя огромное число быстро возникающих способов, создаваемых для описания протоколов, задержало появление единых ( хотя бы на концептуальном уровне) средств, они, безусловно, сыграли положительную роль в исследовании и получении значительного опыта в данной области. В чем же кроются причины того внимания, которое уделяется методам формального описания. [15]
Страницы: 1 2