Development of a method for the probabilistic inference of sequences of a business process activities to support the business process management
DOI:
https://doi.org/10.15587/1729-4061.2018.142664Keywords:
business process, Markov logic network, probabilistic inference, constraints for execution of actions, event logAbstract
Models of temporal rules of execution of the business process actions were proposed for the use in absence in the process model of complete information on the reasons for execution of these actions caused by interference of the work executors. The rules are formed on the basis of analysis of the sequence of events in the business process log which makes it possible to determine temporal conditions and constraints on execution of the corresponding actions. The rule models can be applied as an element of knowledge representation for the process management system since they reflect experience of the business process execution recorded in the log. The use of rules allows one to limit the number of possible versions of execution of the business process taking into account its current state. As a result, the time of making decisions on the process management is reduced for the case of contradiction between the current version of the business process and the model.
A new method of probabilistic inference was proposed that uses the presented rules to form new, admissible sequences of actions in an atypical situation that arose as a result of adjustment of the business process by its executors. The method applies knowledge representations based on the Markov logic network which makes it possible to arrange new sequences of actions according to the probability of their execution using weighed temporal rules. Use of a combination of rules for pairs of sequential and spaced in time actions ensures higher accuracy of calculating the probability of execution of new business process versions. The proposed method takes into account information from the event log when rules are supplemented. This enables continuous supplementing of rules in execution of the business process. The above enables practical realtime application of the method in automated formation and expansion of knowledge bases for the process management systems.
References
- Polyvyanyy, A., Smirnov, S., Weske, M. (2014). Business Process Model Abstraction. Handbook on Business Process Management 1, 147–165. doi: https://doi.org/10.1007/978-3-642-45100-3_7
- Müller, D., Reichert, M., Herbst, J. (2007). Data-Driven Modeling and Coordination of Large Process Structures. On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, 131–139. doi: https://doi.org/10.1007/978-3-540-76848-7_10
- Gronau, N., Heinze, P., Weber, E. (2012). Conversion and Transformation-Oriented View on Knowledge Flows. Modeling and Analyzing knowledge intensive business processes with KMDL, 249–268.
- Vladova, G., Thim, C., Weber, E., Ullrich, A., Gronau, N. (2016). A Proposal to Model Knowledge in Knowledge-Intensive Business Processes. Proceedings of the Sixth International Symposium on Business Modeling and Software Design. doi: https://doi.org/10.5220/0006222600980103
- Pavlenko, V., Shostak, I., Morozova, O., Danova, M. (2018). Information support for business processes at virtual enterprises with multi-agent technologies. 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT). doi: https://doi.org/10.1109/dessert.2018.8409189
- Kalenkova, A. A., van der Aalst, W. M. P., Lomazova, I. A., Rubin, V. A. (2015). Process mining using BPMN: relating event logs and process models. Software & Systems Modeling, 16 (4), 1019–1048. doi: https://doi.org/10.1007/s10270-015-0502-0
- Sergii, C., Ihor, L., Aleksandr, P., Ievgen, B. (2018). Causality-based model checking in business process management tasks. 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT). doi: https://doi.org/10.1109/dessert.2018.8409176
- Kalynychenko, O., Chalyi, S., Bodyanskiy, Y., Golian, V., Golian, N. (2013). Implementation of search mechanism for implicit dependences in process mining. 2013 IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS). doi: https://doi.org/10.1109/idaacs.2013.6662657
- Richardson, M., Domingos, P. (2006). Markov logic networks. Machine Learning, 62 (1-2), 107–136. doi: https://doi.org/10.1007/s10994-006-5833-1
- Levykin, V., Chala, O. (2018). Method of automated construction and expansion of the knowledge base of the business process management system. EUREKA: Physics and Engineering, 4, 29–35. doi: http://dx.doi.org/10.21303/2461-4262.2018.00676
- Konur, S. (2013). A survey on temporal logics for specifying and verifying real-time systems. Frontiers of Computer Science, 7 (3), 370–403.
- Lowd, D., Domingos, P. (2007). Efficient Weight Learning for Markov Logic Networks. European Conference on Principles of Data Mining and Knowledge Discovery. PKDD 2007: Knowledge Discovery in Databases, 200–211. doi: https://doi.org/10.1007/978-3-540-74976-9_21
- Shostak, I., Danova, M., Romanenkov, Yu., Kuznetsova, Yu. (2018). A retrospective analysis technology of the Green Software Ecosystems development on the parametric identification of the Brown's model. 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT). doi: https://doi.org/10.1109/dessert.2018.8409197
- Shostak, I., Volobuyeva, L., Danova, M. (2018). Ontology based approach for green software ecosystem formalization. 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies. doi: https://doi.org/10.1109/dessert.2018.8409196
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2018 Viktor Levykin, Oksana Chala
This work is licensed under a Creative Commons Attribution 4.0 International License.
The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.
A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.