Preview

Труды Института системного программирования РАН

Расширенный поиск

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

https://doi.org/10.15514/ISPRAS-2015-27(3)-15

Полный текст:

Аннотация

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

Об авторах

Н. Никитина
НУЛ ПОИС, Национальный Исследовательский Университет Высшая Школа Экономики
Россия


А. Мицюк
НУЛ ПОИС, Национальный Исследовательский Университет Высшая Школа Экономики
Россия


Список литературы

1. M. Dumas, W. M. van der Aalst, and A. H. ter Hofstede, Process-aware Information Systems: Bridging People and Software Through Process Technology. New York, NY, USA: John Wiley & Sons, Inc., 2005.

2. M. Weber and E. Kindler, “The petri net markup language,” in Petri Net Technology for Communication-Based Systems - Advances in Petri Nets, 2003, pp. 124–144.

3. J. Billington, S. Christensen, K. M. van Hee, E. Kindler, O. Kummer, L. Petrucci, R. Post, C. Stehno, and M. Weber, “The petri net markup language: Concepts, technology, and tools,” in Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, 2003, pp. 483–505.

4. U. Brandes, M. Eiglsperger, I. Herman, M. Himsolt, and M. Marshall, “Graphml progress report structural layer proposal,” in Graph Drawing, ser. Lecture Notes in Computer Science, P. Mutzel, M. Jnger, and S. Leipert, Eds. Springer Berlin Heidelberg, 2002, vol. 2265, pp. 501–512.

5. U. Brandes, M. Eiglsperger, I. Herman, M. Himsolt, and M. S. Marshall, “Graphml progress report,” in Graph Drawing, 2001, pp. 501–512.

6. W. Reisig, Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, 2013.

7. T. Murata, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989.

8. J. A. Anderson, Automata theory with modern applications. Cambridge University Press, 2006.

9. L. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Treves, “A primer on the petri net markup language and iso/iec 15909-2,” Petri Net Newsletter, vol. 76, pp. 9–28, 2009.

10. U. Brandes, M. Eiglsperger, and J. Lerner, “Graphml primer,” Online: http://graphml. graphdrawing. org/primer/graphml-primer. html [29.05.2007], 2004.

11. G. D. Battista, P. Eades, R. Tamassia, and I. G. Tollis, Graph Drawing: Algorithms for the Visualization of Graphs. Prentice-Hall, 1999.

12. Касьянов В. Н., Евстигнеев В. А. Графы в программировании //Обработка, визуализация и применение. БХВ-Петербург. – 2003.

13. S. G. Kobourov, “Spring embedders and force directed graph drawing algorithms,” arXiv preprint arXiv:1201.3011, 2012.

14. M. Westergaard and L. M. Kristensen, “The access/cpn framework: A tool for interacting with the cpn tools simulator,” in Applications and Theory of Petri Nets. Springer, 2009, pp. 313–322.

15. K. van Hee, O. Oanea, R. Post, L. Somers, and J. M. van der Werf, “Yasper: a tool for workflow modeling and analysis,” in Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on. IEEE, 2006, pp. 279–282.

16. B. Berthomieu*, P.-O. Ribet, and F. Vernadat, “The tool tina – construction of abstract state spaces for petri nets and time petri nets,” International Journal of Production Research, vol. 42, no. 14, pp. 2741–2756, 2004.

17. A. K. Begicheva and I. A. Lomazova, “Checking conformance of high-level business process models to event logs,” in Proceedings of the Spring/Summer Young Researchers Colloquium on Software Engineering, vol. 8, 2014.

18. A. A. Mitsyuk and I. S. Shugurov, “On process model synthesis based on event logs with noise,” Modeling and analysis of information systems, vol. 4(21), pp. 181–198, 2014.

19. N. Nikitina and A.Mitsyuk, “Carassius: A Simple Petri Net Editor,” accessed: 2015-04-01. [Online]. Available: www.pais.hse.ru/research/projects/carassius


Для цитирования:


Никитина Н., Мицюк А. Редактор моделей процессов «Carassius». Труды Института системного программирования РАН. 2015;27(3):219-236. https://doi.org/10.15514/ISPRAS-2015-27(3)-15

For citation:


Nikitina N., Mitsyuk A. Carassius: A Simple Process Model Editor. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):219-236. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-15

Просмотров: 97


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


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