СЕМИОТИЧЕСКИЙ АНАЛИЗ ЯЗЫКОВ МОДЕЛИРОВАНИЯ БИЗНЕС-ПРОЦЕССОВ
Abstract
Языки визуальной разработки моделей бизнес-процессов EPC, BPMN приобрели популярность и широко используется для описания, реинжиниринга и автоматизации бизнес-процессов. Задача формализации семантики, синтаксиса и прагматики этих языков является актуальной и важной, без её решения невозможно разработать средства автоматической проверки моделей на отсутствие ошибок или преобразовать их в исполняемый машинный код. До тех пор, пока синтаксис и семантика языка не будут описаны формально, их использование окажется затруднено, моделирование будет оставаться ремеслом, тогда как требуется инженерный подход. В работе доказывается предположение, что наличие морфизма между моделью бизнес-процесса и окружающей реальностью, позволяет сделать важные выводы, относительно синтаксиса и семантики языка моделирования. Групповые отношения между знаками, образующими модель, можно интерпретировать как конкретный синтаксис языка моделирования, а отношения между концептами онтологии моделирования образуют абстрактный синтаксис.
References
2. OMG. Business Process Model and Notation (BPMN) Version 2.0, Object Management Group, OMG Document Number: formal/2011-01-03, 2012.
3. Гастев Ю.А. Гомоморфизмы и модели: Логико-алгебраические аспекты моделирования. -М.: Наука, 1975. -152 с.
4. Корн Г., Корн Т. Справочник по математике для научных работников и инженеров. - М.: «Наука, 1974. - 832 с.
5. Gurr C. On the isomorphism, or lack of it, of representations // In: Visual Language Theory. Springer, 1998. -С. 293-305.
6. Guizzardi G. Ontological foundations for structural conceptual models. University of Twente, Enschede. 2005. -441 с.
7. Wand Y., Weber R. Toward a theory of the deep structure of information systems // Proc international conference on information systems. -Copenhagen: 1990. Vol. 16. pp. 61–71.
8. Пирс Ч.С. Начала прагматизма. Том 2. Логические основания теории знаков. Лаборатория Метафизических Исследований философского факультета СПбГУ ed. — СПб.: Алетейя, 2000. -352 с.
9. Лемов А.В. Система, структура и функционирование научного термина. –Саранск: Мордов. ун-т. 2000. -192 c.
10. Ullmann S. Semantics: An Introduction to the Science of Meaning. Oxford,: Basil Blackwell, 1972. -278 с.
11. Нариньяни А.С. Кентавр по имени ТЕОН: тезаурус+онтология // Международный семинар Диалог’2001 по компьютерной лингвистике и ее приложениям. – Аксаково. 2001. Vol. 1. -С. 184–188.
12. Уемов А.И. Аналогия в практике научного исследования. -М.: Наука, 1970. -264 с.
13. Fiodorov I. Overcoming expressiveness deficit of business process modeling languages // Business informatics , Vol. 3, No. 37, Sep 2016. -С. 53-62.
14. Harel D., Rumpe B. Meaningful Modeling What’s the Semantics of Semantics // Journal Computer, Vol. 37, No. 10, October 2004. - С. 64-72.
This work is licensed under a Creative Commons Attribution 4.0 International License.
Publication policy of the journal is based on traditional ethical principles of the Russian scientific periodicals and is built in terms of ethical norms of editors and publishers work stated in Code of Conduct and Best Practice Guidelines for Journal Editors and Code of Conduct for Journal Publishers, developed by the Committee on Publication Ethics (COPE). In the course of publishing editorial board of the journal is led by international rules for copyright protection, statutory regulations of the Russian Federation as well as international standards of publishing.
Authors publishing articles in this journal agree to the following: They retain copyright and grant the journal right of first publication of the work, which is automatically licensed under the Creative Commons Attribution License (CC BY license). Users can use, reuse and build upon the material published in this journal provided that such uses are fully attributed.
