Содержание
Введение
1 Формальные модели потоковых вычислений и их автоматическое построение
1.1 Обзор исследований в области потоковой обработки информации .
1.1.1 Архитектуры потоковых вычислительных систем .
1.1.2 Потоковые языки программирования
1.2 Потоковые схемы с тегированными фишками.
1.2.1 Определение потоковой схемы с тегированными фишками псхемы.
1.2.2 Структурированные псхемы
1.2.3 Псхемы с массивами
1.2.4 Псхемы с процедурами
1.3 Автоматическое построение потоковых схем с тегированными фишками
1.3.1 Некоторые атрибуты ссхем
1.3.2 Преобразование ациклических ссхем в потоковый
1.3.3 Преобразование ссхем, содержащих циклические фрагменты. в потоковый вид
1.3.4 Преобразование обогащенных ссхем в обогащенные структурированные псхемы.
2 Сравнительный анализ семантических моделей параллельных процессов и процессов реального времени
2.1 Аксиомы параллельности как базовые свойства параллельных недетерминированных процессов.
2.1.1 Первичные структуры событий и их свойства параллельности .
2.1.2 Локальные структуры событий и их свойства параллельности
2.2 Семантические модели потоковых вычислений с тегированными фишками.
2.2.1 Графы зависимостей.
2.2.2 Семантика структур событий.
2.3 Бисимуляционные эквивалентности параллельных недетерминированных процессов и их логическая характеризация
2.3.1 Бисимуляционные эквивалентности
2.3.2 Логическая характеризация обычных бисимуляций
2.3.3 Логическая характеризация локальных бисимуляций
2.3.4 Разрешимость бисимуляционных эквивалентностей
2.4 Исследование параллельной семантики процессов реального времени.
2.4.1 Временные структуры событий
2.4.2 Интерливинговая семантика
2.4.3 Шаговая семантика .
2.4.4 Семантика временных частично упорядоченных мультимножеств
2.4.5 Сравнение временных эквивалентностей.
Анализ корректности параллельных моделей реального времени
3.1 Верификация временных сетей Петри с использованием аппарата темпоральных логик реального времени
3.1.1 Базовый метод верификации
3.1.2 Метод с использованием техники частичных порядков
3.1.3 Метод с использованием техники временных зон . .
3.1.4 Метод с использованием техники параметризации .
3.2 Верификация временных сетей Петри посредством проверки на поведенческую эквивалентность
3.2.1 Временные процессы и эквивалентностные понятия
временных сетей Петри.
3.2.2 Распознавание временной трассовой и временной тестовой эквивалентностей
3.2.3 Распознавание временной бисимуляции
3.3 Автоматические анализ и верификация сетевых параллельных моделей реального времени .
3.3.1 Обзор инструментальных средств, поддерживающих
сетевые модели
3.3.2 Краткое описание возможностей системы РЕР . . .
3.3.3 Концепции, организация и возможности системы
Заключение
Приложение
Список литературы
- Київ+380960830922