Introduction to integration of the process mining to the knowledge framework for software processes

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.