Abstract
Systems started to be more process oriented during last decades. The knowledge has moved from humans to systems and systems has more and more knowledge about the process. This paper presents an approach to the integration of the process mining to the process modeling supported by the formal layer. The process is modeled by framework that allows selection and formal description of the applicable meta-model parts, formally define process prescription and then model the process by graphical language. Process is executed and logs are stored. The presented process mining part of the framework then can discover the de facto process model, can check the differences between de facto and de jure model, can enhance de jure model according to the findings.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aguilar-Saven, R.S.: Business process modelling: review and framework. Int. J. Prod. Econ. 90(2), 129–149 (2004)
Carmona, J., Cortadella, J., Kishinevsky, M.: New region-based algorithms for deriving bounded Petri nets. IEEE Trans. Comput. 59(3), 371–384 (2010)
Czopik, J., Košinár, M.A., Štolfa, J., Štolfa, S.: Addition of static aspects to the intuitive mapping of UML activity diagram to CPN. Adv. Intell. Syst. Comput. 334, 77–86 (2015)
Czopik, J., Košinár, M.A., Štolfa, J., Štolfa, S.: Formalization of software process using intuitive mapping of UML activity diagram to CPN. Adv. Intell. Syst. Comput. 303, 365–374 (2014)
Kosinar, M.A., Czopik, J., Štolfa, J., Penhaker, M.: Knowledge framework for clinical processes architecture and analysis. In: 13th International Symposium on Applied Machine Intelligence and Informatics (SAMI 2015), Herl’any, Slovakia (2015)
Kosinar, M.A., Czopik, J., Štolfa, J.: Formal knowledge framework for software processes architecture. Front. Artif. Intell. Appl. EJC 2015 (2015)
Kosinar, M.A., Stolfa, J., Stolfa, S.: Knowledge support for software processes. Front. Artif. Intell. Appl. 272, 205–223 (2014)
Štolfa, J., Štolfa, S., Kožusznik, J., Moudrá, T.: Business process formal modeling in graphical ontology tool—Functional view. In: Proceedings of the International Conference on Management of Emergent Digital EcoSystems, MEDES, pp. 187–188 (2012)
Van Der Aalst, W.M.P.: Process mining in the large: a tutorial. Bus. Intell. 33–76 (2014)
Van Der Aalst, W.M.P., Weijters, A.J.M.M.: Process mining: a research agenda. Comput. Ind. 53(3), 231–244 (2004)
Van Der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128–1142 (2004)
Acknowledgment
The research was supported by the internal grant agency of VSB – Technical University of Ostrava, Czech Republic, project no. SP2015/85 ‘Knowledge modelling usage in software engineering’.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Stolfa, J., Stolfa, S., Kosinar, M.A., Snasel, V. (2016). Introduction to Integration of the Process Mining to the Knowledge Framework for Software Processes. In: Abraham, A., Wegrzyn-Wolska, K., Hassanien, A., Snasel, V., Alimi, A. (eds) Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015. Advances in Intelligent Systems and Computing, vol 427. Springer, Cham. https://doi.org/10.1007/978-3-319-29504-6_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-29504-6_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29503-9
Online ISBN: 978-3-319-29504-6
eBook Packages: EngineeringEngineering (R0)