Рассмотрены аспекты разработки концептуальных спецификаций (онтологий) промыш-ленных процессов в машиностроении и основные положения декларативного динамического моделирования на основе математического аппарата сетей Петри и систем продукций. Основные задачи управления промышленными процессами структурируются и формализуются при использовании онтологий (метаонтологий, онтологий предметных областей и онтологий задач). Определены общие положения анализа онтологий интегрированных информационных сред (ИИС) на основе формального аппарата алгебры последовательностей с использованием критериальных модельных оценок. Ключевые слова: онтологии, декларативное моделирование, базы знаний, сети Петри, продукционные системы.
