Разработка и симуляция цифровых моделей на основе языка DLAA в среде онтологической платформы

Abstract

Статья посвящена вопросам погружения средств моделирования визуального графического языка диаграмм состояний и переходов конечных автоматов специального вида (DLAA), предназначенного для структурированного описания конфигурации и поведения дискретно-событийных систем, в среду онтологической платформы. Такой вектор развития средств моделирования позволяет создать графический конструктор моделей высокого уровня, поддержанный логическим аппаратом онтологической базы знаний, а также использовать возможности логической машины вывода онтологической платформы для анализа сложных архитектурных представлений моделируемых систем. В статье рассмотрены основные решения поставленной задачи, а именно, решения, связанные с разработкой: онтологической схемы языка DLAA в среде онтологической платформы OSA, разработка графического конструктора моделей, конвертора онтологического образа модели в представление модели, интерпретируемое симулятором DLAA, а также конфигуратор модели и интерфейс симулятора с онтологической платформой.