Данная работа была посвящена разработке алгоритмов и программной реализации синтаксической и семантической верификации конфигурационных файлов. Эти конфигурационные файлы параметризуют компоненты конвейера, реализующего многошаговые алгоритмы оценивания параметров случайных процессов. На основе анализа конфигурационных файлов был разработан метаязык для программной реализации валидатора содержимого таких файлов, а также корректности отношения порядка отдельных компонент конвейерных вычислений.

This thesis project has been aimed at development of syntactic and semantic verification algorithms and their implementation. This verification is required in the context of pipeline computations which are performed to estimate parameters of stochastic processes. A new metalanguage has been developed as the basis for the software developed in this study.

• Введение
• 1. Литературный обзор
  • 1.1. Историческая справка
  • 1.2. Основные примитивы FBP
  • 1.3 Иерархическая декомпозиция
  • 1.4 Группировка данных
  • 1.5 Расписание процессов
  • 1.6 Асинхронная передача информационных пакетов
    • 1.7 Программные реализации сценарных конвейеров
    • 1.7.1 Недостатки конвейерной архитектуры
    • 1.8 Стандартные определения и понятия грамматики формальных языков
    • 1.8.1. Классификация грамматик и языков по Хомскому
    • 1.8.2. Синтаксические анализаторы
    • 1.8.3. LL и LR анализаторы
    • 1.9. Архитектура фреймворка
    • 1.9.1. Информационный пакет
    • 1.9. 2. Программные компоненты.
    • 1.10 Ход работы фреймворка и проблема производителя-потребителя
    • 1.11. Типы сценариев.
    • 2.1. Постановка задачи работы.
    • 2.2. Оценка корректности сценариев
    • 2.2 Грамматика конфигурационных файлов
    • 2.3 Инвариантная часть грамматики
    • 2.4. Инвариантная часть грамматики, определяющая терминалы в правилах вывода директив конфигурационных файлов различных компонентов
    • 2.5. Грамматика сценария эксперимента
    • 2.6. Грамматика конфигурационных файлов эстиматоров
    • 2.7. Грамматика конфигурационных файлов моделей
    • 2.8 Грамматика метаязыка валидатора
    • 2.9. Функции верификации
  • Заключение.
  • Список источников
  • Приложение