Carassius: a simple process model editor

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