In this paper, we introduce a document–based approach to business process modelling. We argue that declarative semantic modelling should be preferred against the procedural one, which is typically used in software implementations of business processes. Semantic modelling allows for a transparent description of business processes, which is accessible both to manual and automated analysis, verification, and reuse. We present the idea of semantic document modelling and report on its implementation in a web platform, which has been successfully applied to automate business processes of real-world complexity.

The basic feature of our semantic models is executability. This means that having been developed, a semantic model can function as a practical information system. For instance, a model, which semantically depicts business processes for enterprise resource planning can be directly used as an ERP system. This advantage makes the programming stage mainly obsolete and allows for disruptive efficiency/productivity and cost management improvements. The level of the ‘executability’ of semantic models can range from proof-of-concept prototypes to real-life production-level systems. We have built a semantic modelling management system on top of the Libretto Web Framework. The combination of modelling and web technologies leads to new approaches of web development.

Andrei Mantsivoda, Dr. Sci. (Phys.–Math.), Prof., Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, Russian Federation, Sobolev Institute of Mathematics, 4, Acad. Koptyug st., Novosibirsk, 630090, Russian Federation, e-mail: andrei@baikal.ru

Denis Ponomaryov, Cand. Sci. (Phys.–Math.), Ershov Institute of Informatics Systems, Sobolev Institute of Mathematics, Novosibirsk State University, 6, Lavrentyev av., Novosibirsk, 630090, Russian Federation, e-mail: ponom@iis.nsk.su

Mantsivoda A.V., Ponomaryov D.K. Towards Semantic Document Modelling of Business Processes. The Bulletin of Irkutsk State University. Series Mathematics, 2019, vol. 29, pp. 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, 1986, vol. 10, Elsevier Sci., Dublin, 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. Kazakov I.A., Kustova I.A., Lazebnikova E.N., Mantsivoda A.V. Locally Simple Models Construction: Methodology and Practice. The Bulletin of Irkutsk State University. Series Mathematics, 2017, vol. 22, pp. 71-89. (In Russian). https://doi.org/10.26516/1997-7670.2017.22.71
7. Malykh A.A., Mantsivoda A.V. Document Models. The Bulletin of Irkutsk State University. Series Mathematics, 2017, vol. 21, pp. 89-107. (in Russian). https://doi.org/10.26516/1997-7670.2017.21.89
8. Malykh A.A., Mantsivoda A.V. The Libretto System: Web-resource Development in a Single Model of Data and Knowledge. In Proc. 6th All-Russian Conference of Control Problems (MCPU-2013), Gelendzhik, 2013, pp.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. Available at: https://en.wikipedia.org/wiki/Smart_contract (date of access: 20.08.2019)
12. Solidity. Available at: https://ru.wikipedia.org/wiki/Solidity (date of access: 20.08.2019) (in Russian)