Введение.
1. Постановка задачи.
1.1. Обоснование интереса к высокоуровневым протоколам, обеспечивающим информационное взаимодействие в открытых телекоммуникационных системах.
1.2. Принципы и особенности использования про юкола ХМРР
1.3. Типовые задачи взаимодействия по протоколу ХМРР
1.4. Принципы создания системных протоколов высокого уровня на основе ХМРР.
1.5. Способы доставки ХМРР сообщений
1.6. Существующие способы построения распределнных систем на основе высокоуровневых протоколов и обоснование разработки альтернативных подходов
1.7. Выводы к Главе 1.
2. Обоснование и выбор математического аппарата для описания и анализа свойств системных протоколов высокого уровня
2.1. Общий подход к разработке протоколов.
2.2. Свойства корректности протоколов.
2.3. Формальные методы построения моделей для оценки свойств корректности разрабатываемых протоколов
2.4. Моделирования протоколов на основе аппарата сетей Петри
2.5. Формирование математической базы методики разработки и тестирования ворректных высокоуровневых протоколов.
2.6. Выводы к Главе 2.
3. Разработка методики проектирования высокоуровневых протоколов информационного взаимодействия на основе ХМРР.
3.1. Определение макрофункцмй и прими швов протокола ХМРР.
3.2. Компонентная база проектирования.
3.3. Представление примитивов протокола ХМРР в виде функциональных подсетей Петри
3.3. Формальное описание высокоуровневых протоколов на основе ХМРР с помощью агрегирования функциональных подсетей примитивов протокола ХМРР.
3.4. Проверка корректности протоколов, полученных в результате агрегировании. .
3.5. Выводы к Главе 3
Глава 4. Пример разработки системного протокола смены логических каналов с сохранением сеанса на основе ХРР
4.1. Обоснование необходимости в разработке протокола смены логических каналов безопасного информационного взаимодействия с сохранением сеанса
4.2. Определение примитивов системного протокола высокого уровня смены логических каналов с сохранением сеанса
4.3. Представление примитивов системного протокола высокого уровня смены логических каналов с сохранением сеанса в виде корректных функциональных подсетей Петри.
4.4. Модель протокола смены логических каналов с сохранением сеанса, полученная с помощью агрегирования функциональных подсетей Петри
4.5. Доказательство корректности работы протокола смены логических каналов с сохранением сеанса на основе полученной модели
4.6. Архитектура системы безопасного взаимодействия в реальном времени с использованием протокола ХМРР на базе i . i и проекта
4.7. Виды сообщений протокола смены логических каналов с сохранением сеанса.
4.3. Выводы к Главе 4.
Заключение.
Список используемой литературы
- Київ+380960830922