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