Geodesic
Towards semantic document modelling of business processes
The Bulletin of Irkutsk State University. Series Mathematics, Tome 29 (2019), pp. 52-67
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

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.
Keywords: semantic modelling, document model, buisness process.
Mots-clés : Libretto 
@article{IIGUM_2019_29_a5,
     author = {A. V. Mantsivoda and D. K. Ponomaryov},
     title = {Towards semantic document modelling of business processes},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {52--67},
     year = {2019},
     volume = {29},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a5/}
}
TY  - JOUR
AU  - A. V. Mantsivoda
AU  - D. K. Ponomaryov
TI  - Towards semantic document modelling of business processes
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2019
SP  - 52
EP  - 67
VL  - 29
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a5/
LA  - en
ID  - IIGUM_2019_29_a5
ER  - 
%0 Journal Article
%A A. V. Mantsivoda
%A D. K. Ponomaryov
%T Towards semantic document modelling of business processes
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2019
%P 52-67
%V 29
%U http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a5/
%G en
%F IIGUM_2019_29_a5
A. V. Mantsivoda; D. K. Ponomaryov. Towards semantic document modelling of business processes. The Bulletin of Irkutsk State University. Series Mathematics, Tome 29 (2019), pp. 52-67. http://geodesic.mathdoc.fr/item/IIGUM_2019_29_a5/

[1] Baader F., Calvanese D., McGuinness D., Nardi D., Patel-Schneider P. (eds.), The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edition, Cambridge University Press, 2010 | MR | Zbl

[2] Berners-Lee T., Hendler J., Lassila O., The Semantic Web, Scientific American, May 2001

[3] Ershov Yu. L., Goncharov S. S., Sviridenko D. I., “Semantic Programming Information processing”, Proc. IFIP 10th World Comput. Congress, v. 10, Elsevier Sci., Dublin, 1986, 1093–1100 | MR

[4] Goncharov S. S., Sviridenko D. I., “$\Sigma$-programming”, Transl. II. Amer. Math. Soc., 142 (1989), 101–121 | Zbl

[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, 1:1, 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, 22 (2017), 71–89 (In Russian) | DOI | Zbl

[7] Malykh A. A., Mantsivoda A. V., “Document Modelling”, The Bulletin of Irkutsk State University. Series Mathematics, 21 (2017), 89–107 (In Russian) | DOI | Zbl

[8] Malykh A. A., Mantsivoda A. V., “The Libretto System: Web-resource Development in a Single Model of Data and Knowledge”, Proc. 6th All-Russian Conference of Control Problems, MCPU-2013 (Gelendzhik), 73–75 | MR | Zbl

[9] Mantsivoda A. V., Ponomaryov D. K., “A Formalization of Document Models with Semantic Modelling”, The Bulletin of Irkutsk State University. Series Mathematics, 27 (2019), 36–54 | DOI | MR

[10] Vityaev E., “The Logic of Prediction”, Proceedings of the 9th Asian Logic Conference, World Scientific, 2006, 263–276 | MR | Zbl

[11] Smart contract, (date of access: 20.08.2019) https://en.wikipedia.org/wiki/Smart_contract

[12] Solidity, , 2019 (in Russian) (date of access: 20.08.2019) https://ru.wikipedia.org/wiki/Solidity