Towards semantic document modelling of business processes. (English) Zbl 1425.68446
Summary: 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.
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.
MSC:
| 68U35 | Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) |
| 68T27 | Logic in artificial intelligence |
| 68T30 | Knowledge representation |
References:
| [1] | Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; Patel-Schneider, P., The Description Logic Handbook: Theory, Implementation, and Applications (2010) · Zbl 1191.68652 |
| [2] | Berners-Lee, T.; Hendler, J.; Lassila, O., The Semantic Web, 28-37 (2001) |
| [3] | Ershov, Yu. L.; Goncharov, S. S.; Sviridenko, D. I., Semantic Programming, Information processing 86: Proc. IFIP 10th World Comput. Congress, 1093-1100 (1986) · Zbl 0606.68011 |
| [4] | Goncharov, S. S.; Sviridenko, D. I., \( \Sigma \)-programming, Transl. II. Amer. Math. Soc., 142, 101-121 (1989) · Zbl 0671.03021 |
| [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, 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, 71-89 (2017) · Zbl 1448.68409 |
| [7] | Malykh, A. A.; Mantsivoda, A. V., Document Models, The Bulletin of Irkutsk State University. Series Mathematics, 89-107 (2017) · Zbl 1390.68613 |
| [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 (2013) |
| [9] | Mantsivoda, A. V.; Ponomaryov, D. K., A Formalization of Document Models with Semantic Modelling, The Bulletin of Irkutsk State University. Series Mathematics, 36-54 (2019) |
| [10] | Vityaev, E., The Logic of Prediction, Proceedings of the 9th Asian Logic Conference, 263-276 (2006) · Zbl 1119.03016 |
| [11] | Smart Contract, Available at: https://en.wikipedia.org/wiki/Smart_contract (date of access: 20.08.2019) (2019) |
| [12] | Solidity, Available at: https://ru.wikipedia.org/wiki/Solidity (date of access: 20.08.2019) (2019) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
