В работе представлен подход к моделированию бизнес-процессов, базирующийся на семантическом представлении понятия документа. Мы уверены, что декларативное семантическое моделирование предпочтительнее процедурного, которое обычно используется в программных реализациях бизнес-процессов. Семантическое моделирование обеспечивает прозрачное описание бизнес-процессов, которое доступно как для ручного, так и для автоматического анализа, верификации и повторного использования. Мы представляем идею семантического документного моделирования и рассматриваем его реализацию на веб-платформе, которая сегодня активно применяется для автоматизации бизнес-процессов реальной сложности.

Основной особенностью наших семантических моделей является исполняемость. Это означает, что разработанная семантическая модель может функционировать как практическая информационная система. Например, модель, которая семантически описывает бизнес-процессы планирования ресурсов предприятия, может функционировать как практическая ERP–система. Это преимущество делает стадию программирования, в основном, ненужной и обеспечивает резкое повышение эффективности / производительности и улучшение управления затратами. Уровень "исполняемости"семантических моделей может варьироваться от опытных образцов до реальных систем индустриального уровня. Система управления семантическими моделями была нами построена на базе Libretto Web Framework. Комбинация технологий семантического моделирования и веб-технологий ведет к новым подходам к веб-разработке.

Манцивода Андрей Валерьевич, д-р физ.-мат. наук, профессор, Институт математики, экономики и информатики, Иркутский государственный университет, Российская Федерация, 664003, г. Иркутск, ул. К. Маркса, 1, Институт математики им. С. Л. Соболева СО РАН, компания Libretto Labs, тел.: (3952)521241, e-mail: andrei@baikal.ru

Пономарев Денис Константинович, канд. физ.-мат. наук, Институт математики им. С. Л. Соболева, Институт систем информатики им. А. П. Ершова, Новосибирский государственный университет, Российская Федерация, 630090, г. Новосибирск, пр. Лаврентьева, 6, тел.: (383)3306660, e-mail: ponom@iis.nsk.su

Mantsivoda A.V., Ponomaryov D.K. Towards Semantic Document Modelling of Business Processes // Известия Иркутского государственного университета. Серия Математика. 2019. Т. 29. С. 52-67. https://doi.org/10.26516/1997-7670.2019.29.52

1. Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P., editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2nd edition, 2010.
2. Berners-Lee T., Hendler J., Lassila O. The Semantic Web. Scientific American, May 2001.
3. Ershov Yu. L., Goncharov S. S., and Sviridenko D. I. Semantic Programming. Information processing 86: Proc. IFIP 10th World Comput. Congress. vol. 10, Elsevier Sci., Dublin, 1986. pp. 1093–1100.
4. Goncharov S. S. and Sviridenko D. I. ∑-programming // Transl. II. Amer. Math. Soc. 1989. no. 142. pp. 101–121.
5. Horrocks I., Patel-Schneider P., Van Harmelen F. From SHIQ and RDF to OWL: The making of a Web Ontology Language // Journal of Web Semantics, v.1, no 1, pp.7–26.
6. Казаков И.А., Кустова И.А., Лазебникова Е.Н., Манцивода А.В. Построение локально-простых моделей: методология и практика // Известия Иркутского государственного университета. Серия Математика. 2017. Т. 22. С.71-89. https://doi.org/10.26516/1997-7670.2017.22.71
7. Малых А.А., Манцивода А.В. Документное моделирование // Известия Иркутского государственного университета. Серия Математика. 2017. T. 21. c.89-107. https://doi.org/10.26516/1997-7670.2017.21.89
8. Малых А.А., Манцивода А.В. Система Libretto: разработка веб-ресурсов в единой модели данных и знаний // 6-я Всероссийская конференция по проблемам управления (МКПУ-2013). Геленджик. с.73-75.
9. Mantsivoda A.V. Ponomaryov D.K. A Formalization of Document Models with Semantic Modelling // The Bulletin of Irkutsk State University. Series Mathematics, 2019. vol. 27. pp. 36-54. https://doi.org/10.26516/1997-7670.2019.27.36
10. Vityaev E. The Logic of Prediction // In Proceedings of the 9th Asian Logic Conference, World Scientific. 2006. pp. 263–276.
11. Smart contract [Электронный ресурс]. URL: https://en.wikipedia.org/wiki/Smart_contract (дата обращения: 20.08.2019).
12. Solidity [Электронный ресурс]. URL: https://ru.wikipedia.org/wiki/Solidity (дата обращения: 20.08.2019).