СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
ГЛАВА 1. СУЩЕСТВУЮЩИЕ ПОДХОДЫ К МОДЕЛИРОВАНИЮ
МНОГОКОМПОНЕНТНЫХ СИСТЕМ
1.1. Модели данных.
1.2. Машина Тьюринга.
1.3. Сети Петри.
1.4. Конечные автоматы
1.5. Диаграммы состояний
1.6. Хмашины.
1.7. Вычислительные способности Хмашин.
1.8. Взаимодействующие Хмашины.
1.8.1. Взаимодействие через матрицу коммуникаций
1.9. Выводы.
ГЛАВА 2. СИСТЕМЫ ВЗАИМОДЕЙСТВУЮЩИХ ХМАШИН
2.1. Поэтапное построение взаимодействующих Хмашин.
2.2. Пример модель перекрестка со светофорами
2.3. Расширение системы .
2.4. Выводы.
ГЛАВА 3. ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ХМАШИН.
3.1. Логика СТЬ.
3.2. ЛогикаХСТЬ .
3.3. Пример.
3.4. Выводы.
ГЛАВА 4. ЯЗЫК ОПИСАНИЯ СИСТЕМ ХМАШИН.
4.1. Краткое описание используемых ХМЬтехнологий.
4.2. Описание конструкция языка ХОЪ.
4.2.1. Параметры
4.2.2. Псевдонимы.
4.2.3. Типы данных
4.2.4. Описание Хмашины
4.2.5. Описание системы Хмашин.
4.3. Библиотека для моделирования Хмашин.
4.3.1. Общее описание библиотеки
4.3.2. Типы данных
4.3.3. Ввод и вывод.
4.3.4. Детали реализации
4.4. Выводы.
ГЛАВА 5. МОДЕЛЬ РАСПРЕДЕЛЕННОГО ХРАНИЛИЩА ДАННЫХ.
5.1. Распределенное хранилище данных
5.2. Общее описание модели
5.3. Модель узла
5.3.1. Взаимодействие с сервером приложений.
5.3.2. Выполнение команд хранилища
5.4. Модель хранилища.
5.4.1. Отправка отсроченных сообщений.
5.4.2. Чтение и запись
5.5. Производительность распределенного хранилища.
5.6. Выводы
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- Київ+380960830922