Программное обеспечение компьютерных сетей и информационных систем. Баканов В.М. - 27 стр.

                                   - 27 -


     В качестве представителя первой группы может быть приведен язык
ESTELLE (Extended State Transition Language), второй - язык LOTOS
(Language of Temporal Ordering Specification); оба языка разработаны Меж-
дународной организацией стандартов (ISO) и служат базовыми средствами
для описания разрабатывающих международных стандартов [8].
     Язык ESTELLE (1983 г.) основан на объединении логики конечного ав-
томата (при добавлении элементов описания архитектурных особенностей
протокольных систем) и языка программирования Pascal; применяемые в
языке LOTOS (1984 г.) методы основаны на концепции временного упорядо-
чения примитивов взаимодействия.
     В СССР для конкретного программно-аппаратного окружения был раз-
работан (в рамках инструментального комплекса ‘Архитектор’) реализую-
щий ‘автоматный метод’ язык ОСА (Описание Сетевых Архитектур, основы
и принципы языка впервые опубликованы в 1983 г.), предназначенный для
реализации протокольных архитектур на вычислительных комплексах ‘Эль-
брус’. В комплект системы входят развитые средства анализа описаний на
языке ОСА и средства тестирования и отладки (под конкретную аппаратную
часть). С помощью языка OCA были разработаны специализированные про-
токолы канального и сетевого уровней, транспортный и сеансовый протокол,
протоколы для передачи информации и файлов, удаленного диалога и прото-
кол удаленного запуска заданий (некоторый функциональный аналог RPC в
Windows’NT).
     Кроме вышеприведенных, известны системы проектирования и описа-
ния протоколов FAPL (Format and Access Protocol Language, 1978),
PANDORA (Protocol Analysis, Design and OpeRation Assesment, 1982), PDIL
(Protocol Description and Implementation Language, 1982), ПРАНАС (Каунас-
ский политехнический институт, 1985) и др. [8].
     Как и в случае традиционных языков программирования, исходный
текст на языке формального описания протоколов транслируется (после этапа
отладки) в машинный код, исполняемый часто (специализированными) про-
цессорами передачи сообщений (IMP - Interface Message Processor).

3.4.ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ АНАЛИЗА И
    ОПТИМИЗАЦИИ СЕТИ

     В последние годы появился новый тип (сетевого) программного обеспе-
чения, призванный обеспечивать эффективную работу сетей ЭВМ.
     Дело в том, что современные компьютерные сети тяготеют к глобализа-
ции и усложнению топологии, при этом (стихийно) развивающаяся сеть
часто становится неэффективной (а иногда и неработоспособной) вследствие
неправильного выбора пропускных способностей и распределения потоков в
сети; обычно деградация сети внешне (с точки зрения пользователя) проявля-