и информационных систем»
- Главная
- Разное
- Дизайн
- Бизнес и предпринимательство
- Аналитика
- Образование
- Развлечения
- Красота и здоровье
- Финансы
- Государство
- Путешествия
- Спорт
- Недвижимость
- Армия
- Графика
- Культурология
- Еда и кулинария
- Лингвистика
- Английский язык
- Астрономия
- Алгебра
- Биология
- География
- Детские презентации
- Информатика
- История
- Литература
- Маркетинг
- Математика
- Медицина
- Менеджмент
- Музыка
- МХК
- Немецкий язык
- ОБЖ
- Обществознание
- Окружающий мир
- Педагогика
- Русский язык
- Технология
- Физика
- Философия
- Химия
- Шаблоны, картинки для презентаций
- Экология
- Экономика
- Юриспруденция
Формальные методы описания протоколов презентация
Содержание
- 1. Формальные методы описания протоколов
- 2. Протоколы обмена данными Число эксплуатируемых в настоящее
- 3. Недостатки описания протокольных соглашений Классическое (неформально-словесное, например,
- 4. Достоинства формальных описаний протоколов По сравнению со
- 5. Формальные методы Формальные методы описания протоколов могут
- 6. Формальные языки В качестве представителя первой
- 7. Языки ESTELLE и LOTOS Язык ESTELLE (1983
- 8. Язык ОСА (Описание Сетевых Архитектур В
- 9. В комплект системы входят развитые средства
- 10. Системы проектирования и описания протоколов Кроме вышеприведенных,
- 11. Как и в случае традиционных языков программирования,
- 12. Литература 1. Чепмен Д. и др. Разработка
Протоколы обмена данными Число эксплуатируемых в настоящее время протоколов обмена данными велико ; при этом разрабатываются все новые протоколы, обеспечивающие лавинное развитие сетевых технологий (появилась новая область вычислительной техники,
Слайд 1ФОРМАЛЬНЫЕ МЕТОДЫ ОПИСАНИЯ ПРОТОКОЛОВ
Методическое пособие по дисциплине «Программное обеспечение компьютерных сетей
Слайд 2Протоколы обмена данными
Число эксплуатируемых в настоящее время протоколов обмена данными велико
;
при этом разрабатываются все новые протоколы, обеспечивающие лавинное развитие сетевых технологий
(появилась новая область вычислительной техники, называемая ‘протокольной технологией’).
при этом разрабатываются все новые протоколы, обеспечивающие лавинное развитие сетевых технологий
(появилась новая область вычислительной техники, называемая ‘протокольной технологией’).
Слайд 3Недостатки описания протокольных соглашений
Классическое (неформально-словесное, например, ранее упомянутые RFC-документы) описание протокольных
соглашений имеет ряд недостатков;
важнейшие из них - не позволяющая однозначно согласовывать разрабатываемые стандарты субъективная природа восприятия словесных описаний
(следствие - описания не имеют полноты и основы для анализа),
возникают трудности и труднолокализируемые ошибки при создании реализующих эти протоколы программных и аппаратных средств
важнейшие из них - не позволяющая однозначно согласовывать разрабатываемые стандарты субъективная природа восприятия словесных описаний
(следствие - описания не имеют полноты и основы для анализа),
возникают трудности и труднолокализируемые ошибки при создании реализующих эти протоколы программных и аппаратных средств
Слайд 4Достоинства формальных описаний протоколов
По сравнению со словесными формальные описания обладают существенными
преимуществами - они строги и однозначны,
лежащие в основе конкретного метода формального описания модели позволяют выполнить анализ (верификацию) описаний,
а также автоматизировать процесс трансляции этих описаний непосредственно в машинную реализацию.
лежащие в основе конкретного метода формального описания модели позволяют выполнить анализ (верификацию) описаний,
а также автоматизировать процесс трансляции этих описаний непосредственно в машинную реализацию.
Слайд 5Формальные методы
Формальные методы описания протоколов могут быть разбиты на две группы
- методы первой группы рассматривают объект как автомат
(т.н. ‘автоматные методы’),
методы второй группы - как ‘черный ящик’, характеризующийся только внешним поведением (т.н. ‘методы последовательностей’).
(т.н. ‘автоматные методы’),
методы второй группы - как ‘черный ящик’, характеризующийся только внешним поведением (т.н. ‘методы последовательностей’).
Слайд 6Формальные языки
В качестве представителя первой группы может быть приведен язык
ESTELLE
(Extended State Transition Language),
второй – язык
LOTOS (Language of Temporal Orderin Specification);
оба языка разработаны Международной организацией стандартов (ISO) и
служат базовыми средствами для описания разрабатывающих международных стандартов
второй – язык
LOTOS (Language of Temporal Orderin Specification);
оба языка разработаны Международной организацией стандартов (ISO) и
служат базовыми средствами для описания разрабатывающих международных стандартов
Слайд 7Языки ESTELLE и LOTOS
Язык ESTELLE (1983 г.) основан на объединении логики
конечного автомата (при добавлении элементов описания архитектурных особенностей протокольных систем) и языка программирования Pascal;
применяемые в языке LOTOS (1984 г.) методы основаны на концепции временного упорядочения примитивов взаимодействия.
применяемые в языке LOTOS (1984 г.) методы основаны на концепции временного упорядочения примитивов взаимодействия.
Слайд 8Язык ОСА
(Описание Сетевых Архитектур
В СССР для конкретного программно-аппаратного окружения был
разработан
(в рамках инструментального комплекса ‘Архитектор’) реализующий ‘автоматный метод’ язык ОСА (Описание Сетевых Архитектур,
основы и принципы языка впервые опубликованы в 1983 г.), предназначенный для реализации протокольных архитектур на вычислительных комплексах ‘Эльбрус’.
(в рамках инструментального комплекса ‘Архитектор’) реализующий ‘автоматный метод’ язык ОСА (Описание Сетевых Архитектур,
основы и принципы языка впервые опубликованы в 1983 г.), предназначенный для реализации протокольных архитектур на вычислительных комплексах ‘Эльбрус’.
Слайд 9В комплект системы входят
развитые средства анализа описаний на языке ОСА и
средства тестирования и отладки
(под конкретную аппаратную часть).
С помощью языка OCA были разработаны
специализированные протоколы канального и сетевого уровней,
транспортный и сеансовый протокол,
протоколы для передачи информации и файлов,
протокол удаленного диалога;
протокол удаленного запуска заданий (некоторый функциональный аналог RPC в Windows’NT).
(под конкретную аппаратную часть).
С помощью языка 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)
PANDORA (Protocol Analysis, Design and OpeRation Assesment, 1982),
PDIL(Protocol Description and Implementation Language, 1982), ПРАНАС (Каунасский политехнический институт, 1985)
Слайд 11Как и в случае традиционных языков программирования, исходный текст на языке
формального описания протоколов транслируется (после этапа отладки) в машинный код, исполняемый часто (специализированными) процессорами передачи сообщений
(IMP - Interface Message Processor).
(IMP - Interface Message Processor).
Слайд 12Литература
1. Чепмен Д. и др. Разработка InterNet-приложений в DELPHI 2. -Киев.:DiaSoft,
1997. -640 c.
2. Елманова Н.З. Borland C++Builder (архитектура клиент/сервер, многозвенные системы, InterNet-приложения). -M.: Диалог-МИФИ, 1998. -240 c.
3. Зайцев С.С. Описание и реализация протоколов сетей ЭВМ. -М.: Наука, 1989. -272 c.
4. Клейнрок Л. Вычислительные системы с очередями. Пер. с англ. -М.: Мир, 1979. -600 c.
5.Фролов А.В., Фролов Г.В. Локальные сети персональных компьютеров(монтаж сети, установка программного обеспечения). Библиотека системного программиста, т.7. M.: Диалог-МИФИ, 1994. -169 c.
2. Елманова Н.З. Borland C++Builder (архитектура клиент/сервер, многозвенные системы, InterNet-приложения). -M.: Диалог-МИФИ, 1998. -240 c.
3. Зайцев С.С. Описание и реализация протоколов сетей ЭВМ. -М.: Наука, 1989. -272 c.
4. Клейнрок Л. Вычислительные системы с очередями. Пер. с англ. -М.: Мир, 1979. -600 c.
5.Фролов А.В., Фролов Г.В. Локальные сети персональных компьютеров(монтаж сети, установка программного обеспечения). Библиотека системного программиста, т.7. M.: Диалог-МИФИ, 1994. -169 c.
