Описание u реализация протоколов cemeй ЭВМ

Аннотация

Посвящена формальным методам описаний протоколов. Основу первых двух методов представляют языки LOTOS и ESTELLE, разработанные в Международной организации стандартов. Третий метод представлен языком ОСА (описание сетевых архитектур) и предназначается для проектирования и реализации протоколов в МВК «Эльбрус». Описание трех указанных языков сопровождастся рассмотрением модели расширенного конечного автомата и исчисления взаимодействующых систем, на которых базируются эти языки. Для пояснения работы основных языковых конструкций используются многочисленные примеры. Дается сравнительний анализ и определяется область применимости каждого метода. Приводятся спецификации различными методами транспортного протокола и протокола АВР. Для научных работников, инженеров, а также студентов соответствующих специальностей.