Формальные методы описания протоколов

Август 2, 2022

Главная
Информатика
Формальные методы описания протоколов

Содержание

2. Протоколы обмена данными Число эксплуатируемых в настоящее время протоколов обмена данными велико ; при этом разрабатываются
3. Недостатки описания протокольных соглашений Классическое (неформально-словесное, например, ранее упомянутые RFC-документы) описание протокольных соглашений имеет ряд недостатков;
4. Достоинства формальных описаний протоколов По сравнению со словесными формальные описания обладают существенными преимуществами - они строги
5. Формальные методы Формальные методы описания протоколов могут быть разбиты на две группы - методы первой группы
6. Формальные языки В качестве представителя первой группы может быть приведен язык ESTELLE (Extended State Transition Language),
7. Языки ESTELLE и LOTOS Язык ESTELLE (1983 г.) основан на объединении логики конечного автомата (при добавлении
8. Язык ОСА (Описание Сетевых Архитектур В СССР для конкретного программно-аппаратного окружения был разработан (в рамках инструментального
9. В комплект системы входят развитые средства анализа описаний на языке ОСА и средства тестирования и отладки
10. Системы проектирования и описания протоколов Кроме вышеприведенных, известны FAPL(Format and Access Protocol Language, 1978), PANDORA (Protocol
11. Как и в случае традиционных языков программирования, исходный текст на языке формального описания протоколов транслируется (после
13. Скачать презентацию

Слайд 2

Протоколы обмена данными
Число эксплуатируемых в настоящее время протоколов обмена данными велико

;
при этом разрабатываются все новые протоколы, обеспечивающие лавинное развитие сетевых технологий
(появилась новая область вычислительной техники, называемая ‘протокольной технологией’).

Слайд 3

Недостатки описания протокольных соглашений
Классическое (неформально-словесное, например, ранее упомянутые RFC-документы) описание протокольных

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

Слайд 4

Достоинства формальных описаний протоколов
По сравнению со словесными формальные описания обладают существенными

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

Слайд 5

Формальные методы
Формальные методы описания протоколов могут быть разбиты на две группы

- методы первой группы рассматривают объект как автомат
(т.н. ‘автоматные методы’),
методы второй группы - как ‘черный ящик’, характеризующийся только внешним поведением (т.н. ‘методы последовательностей’).

Слайд 6

Формальные языки
В качестве представителя первой группы может быть приведен язык
ESTELLE

(Extended State Transition Language),
второй – язык
LOTOS (Language of Temporal Orderin Specification);
оба языка разработаны Международной организацией стандартов (ISO) и
служат базовыми средствами для описания разрабатывающих международных стандартов

Слайд 7

Языки ESTELLE и LOTOS
Язык ESTELLE (1983 г.) основан на объединении логики

конечного автомата (при добавлении элементов описания архитектурных особенностей протокольных систем) и языка программирования Pascal;
применяемые в языке LOTOS (1984 г.) методы основаны на концепции временного упорядочения примитивов взаимодействия.

Слайд 8

Язык ОСА (Описание Сетевых Архитектур
В СССР для конкретного программно-аппаратного окружения был

разработан
(в рамках инструментального комплекса ‘Архитектор’) реализующий ‘автоматный метод’ язык ОСА (Описание Сетевых Архитектур,
основы и принципы языка впервые опубликованы в 1983 г.), предназначенный для реализации протокольных архитектур на вычислительных комплексах ‘Эльбрус’.

Слайд 9

В комплект системы входят
развитые средства анализа описаний на языке ОСА и

средства тестирования и отладки
(под конкретную аппаратную часть).
С помощью языка OCA были разработаны
специализированные протоколы канального и сетевого уровней,
транспортный и сеансовый протокол,
протоколы для передачи информации и файлов,
протокол удаленного диалога;
протокол удаленного запуска заданий (некоторый функциональный аналог RPC в Windows’NT).

Слайд 10

Системы проектирования и описания протоколов
Кроме вышеприведенных, известны
FAPL(Format and Access Protocol

Language, 1978),
PANDORA (Protocol Analysis, Design and OpeRation Assesment, 1982),
PDIL(Protocol Description and Implementation Language, 1982), ПРАНАС (Каунасский политехнический институт, 1985)

Слайд 11

Как и в случае традиционных языков программирования, исходный текст на языке

формального описания протоколов транслируется (после этапа отладки) в машинный код, исполняемый часто (специализированными) процессорами передачи сообщений
(IMP - Interface Message Processor).

Формальные методы описания протоколов

Содержание

Протоколы обмена даннымиЧисло эксплуатируемых в настоящее время протоколов обмена данными велико

Недостатки описания протокольных соглашенийКлассическое (неформально-словесное, например, ранее упомянутые RFC-документы) описание протокольных

Достоинства формальных описаний протоколовПо сравнению со словесными формальные описания обладают существенными

Формальные методыФормальные методы описания протоколов могут быть разбиты на две группы

Формальные языки В качестве представителя первой группы может быть приведен язык ESTELLE

Языки ESTELLE и LOTOSЯзык ESTELLE (1983 г.) основан на объединении логики

Язык ОСА (Описание Сетевых АрхитектурВ СССР для конкретного программно-аппаратного окружения был

В комплект системы входят развитые средства анализа описаний на языке ОСА и

Системы проектирования и описания протоколов Кроме вышеприведенных, известны FAPL(Format and Access Protocol