Сборники трудов ИСП РАН


Редактор моделей процессов «Carassius»

Н. Никитина (ВШЭ, Москва), А. Мицюк (ВШЭ, Москва)

Аннотация

Модели и графы процессов различных типов широко используются для моделирования и визуализации процессов в информационных системах. Такие модели представляют взаимосвязи между объектами, задачами или событиями в рамках процесса. Использование большого количества моделей процессов в разнообразных нотациях вызывает необходимость разрабатывать программные инструменты, обеспечивающие конструирование, редактирование и анализ моделей процессов.
Данная работа описывает инструмент для редактирования моделей процессов, обладающий функциями для работы с моделями в виде классических графов, сетей Петри, конечных автоматов и систем взаимодействующих конечных автоматов. Кроме этого, программа имеет следующий набор полезных функций: симуляция процессов на базе исполнения сетей Петри с использованием токенов, импорт и экспорт моделей процессов в различных форматах хранения, разнообразные способы автоматического графического размещения моделей на плоскости, алгоритмы визуализации процессов. Более того, модульная архитектура Carassius позволяет расширять инструмент, добавляя поддержку дополнительных нотаций моделей процессов, алгоритмов обработки и визуализации моделей, их импорта и экспорта. В данной статье предлагаются два алгоритма графического размещения сетей Петри и графов на плоскости, приводится описание их реализации в программном обеспечении Carassius. Эти алгоритмы могут служить основой для разработки других, более совершенных алгоритмов визуализации разных аспектов процессов.
В ходе проектирования и разработки инструмента Carassius особое внимание уделялось обеспечению простоты использования, внутреннего устройства и расширяемости. Благодаря этому представленное программное обеспечение может использоваться в образовательных и исследовательских целях.

Ключевые слова

граф; сеть Петри; конечный автомат; модель процесса; визуализация моделей процессов; редактор моделей процессов

Издание

Труды Института системного программирования РАН, том 27, вып. 3, 2015, стр. 219-236.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2015-27(3)-15

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома