Якушкин Олег Олегович Метод декомпозиции распределенных сервисных систем с использованием сетей Петри

brief description

Якушкин Олег Олегович Метод декомпозиции распределенных сервисных систем с использованием сетей Петри
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Якушкин Олег Олегович
Введение

Глава 1. Аналитический обзор

Глава 2. Новая модель описания распределенных сервисных

систем, построенная на базе сетей Петри

2.0.1 Рассматриваемая проблема

2.0.2 Проверка требований к типу

2.0.3 Возможности SOPN

2.0.4 Расширения сетей Петри в модели SOPN

2.1 Предложенное новое решение - Сервисно-ориентированная модель

на базе сетей Петри

2.1.1 Основные расширения

2.1.2 Integers

2.1.3 Целочисленные операции

2.1.4 Вложенные типы

2.1.5 Модули

2.1.6 О полученной модели SOPN

2.1.7 Описание модели SOPN

Глава 3. Апробация представленного метода декомпозиции

распределенных сервисных систем

3.1 Практическая реализация модели SOPN

3.1.1 Архитектура системы SOPN CSharp

3.1.2 Принципы организации объектной модели SOPN

3.2 Метод организации объектной модели SOPN

3.2.1 Перенос объектов сервисных систем в модель SOPN

3.2.2 Отличительные особенности построенной модели с практической точки зрения

3.2.3 Методика оценки работоспособности распределенных сервисных систем с учетом потенциальных

инфраструктурных проблем

3.3 Апробация модели

3.3.1 Моделирование законов Амдала и Густафсона

3.4 Верификация сложных моделей распределенных сервисных систем

3.4.1 Алгоритм моделирования

3.4.2 Моделирование в MADT приложения с клиент- серверной архитектурой

3.4.3 Моделирование взаимодействия компонентов распределенного приложения по сети с помощью MADT

3.5 Эксперимент по моделированию HPC системы с топологией FatTree

Заключение

Список литературы

Список рисунков

Приложение А. Взаимодействия в распределенных сервисных

системах

А.1 Шаблоны сервисного взаимодействия

А.1.1 Шаблон «Подписчик-Респондент» (англ. "Publish-Subscribe")

А.1.2 Шаблон «Клиент-Сервер» (англ. "Request-Reply")

А.1.3 Шаблон «Конвейер» (англ. "Pipeline")

А.1.4 Шаблон «Опрос» (англ. "Survey-Respondent")

А.2 Взаимодействие шаблонов передачи сообщений

А.2.1 События и операции

А.2.2 Цепочки операций

А.3 Распределенное хранение и верификация данных

А.3.1 Сетевые уязвимости cмарт-контрактов

А.3.2 Ошибка доступа

А.3.3 Очередность обмена

А.3.4 Зависимость временных меток

А.4 Выводы

Приложение Б. Методы формального моделирования

распределенных сервисных взаимодействий

Б.1 Формальная верификации алгоритмов работы программы

Б.2 Языки формальной верификации

Б.2.1 Изабель

Б.2.2 Coq

Б.2.3 Verdi

Б.2.4 TLA+

Б.2.5 Сравнение языков формальной верификации

Б.2.6 Об основных проблемах языков формальной верификации

Б.3 Использование графических нотаций

Б.4 Декомпозиция рассмотренных межсервисных взаимодействий с

использованием сетей Петри

Б.4.1 Представление взаимодействий

Б.5 Выводы