Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Process mining approach to formal business process modelling and verification: a case study

Process mining approach to formal business process modelling and verification: a case study The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model that is well-aligned to the reality. Process mining is a well-known technique to discover a model of a process based on facts. However, no studies exist that apply it to formal verification. This study aims to propose a methodology for formal business process verification by means of process mining, and attempts to clarify the challenges and necessary technologies in this approach using a case study.Design/methodology/approachA trading company simulation model is used as a case study. A workflow model is discovered from an event log produced by a simulation tool and manually complemented to a formal model. Correctness requirements of both domain-dependent and domain-independent types of the model are checked by means of model-checking.FindingsFor business process verification with both domain-dependent and domain-independent correctness requirements, more advanced process mining techniques that discover data-related aspects of processes are desirable. The choice of a formal modelling language is also crucial. It depends on the correctness requirements and the characteristics of the business process.Originality/valueFormal verification of business processes starting with creating its formal model is quite new. Furthermore, domain-dependent and domain-independent correctness properties are considered in the same framework, which is also new. This study revealed necessary technologies for this approach with process mining. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Modelling in Management Emerald Publishing

Process mining approach to formal business process modelling and verification: a case study

Loading next page...
 
/lp/emerald-publishing/process-mining-approach-to-formal-business-process-modelling-and-qb8qpq75YE
Publisher
Emerald Publishing
Copyright
© Emerald Publishing Limited
ISSN
1746-5664
eISSN
1746-5664
DOI
10.1108/jm2-03-2020-0077
Publisher site
See Article on Publisher Site

Abstract

The need for assuring correctness of business processes in enterprises is widely recognised in terms of business process re-engineering and improvement. Formal methods are a promising approach to this issue. The challenge in business process verification is to create a formal model that is well-aligned to the reality. Process mining is a well-known technique to discover a model of a process based on facts. However, no studies exist that apply it to formal verification. This study aims to propose a methodology for formal business process verification by means of process mining, and attempts to clarify the challenges and necessary technologies in this approach using a case study.Design/methodology/approachA trading company simulation model is used as a case study. A workflow model is discovered from an event log produced by a simulation tool and manually complemented to a formal model. Correctness requirements of both domain-dependent and domain-independent types of the model are checked by means of model-checking.FindingsFor business process verification with both domain-dependent and domain-independent correctness requirements, more advanced process mining techniques that discover data-related aspects of processes are desirable. The choice of a formal modelling language is also crucial. It depends on the correctness requirements and the characteristics of the business process.Originality/valueFormal verification of business processes starting with creating its formal model is quite new. Furthermore, domain-dependent and domain-independent correctness properties are considered in the same framework, which is also new. This study revealed necessary technologies for this approach with process mining.

Journal

Journal of Modelling in ManagementEmerald Publishing

Published: May 25, 2021

Keywords: Modelling; Computing; Business process modelling; Formal method; Process mining; Timed automaton

References