关键词: 过程模型, 轨迹长度, 轨迹数, 完全前缀展开, 模型复杂性

Abstract: In the conformance checking of the field of process mining,how to quantify the behavior of the process model and then judge the quality of the model is a hot research topic.Most of the existing researches on quantitative model behavior focus on the structured process model level,while the business models obtained by actual mining are mostly unstructured.Therefore,a trace counting method for unstructured process models was proposed.By integrating the existing structuring methods,the numbers of unique paths after structuring the unstructured process model were calculated,and the unique paths counting method  for the semi-structured process model with synchronization conditions was designed.Then,for some of the process models that could not be structured,the unique path scounting algorithm for a non-free choice structure  based on complete prefix unfolding was designed,including both cyclic and acyclic cases.Then,the two methods were combined with the unique paths counting method in a block-structured process model.On the artificial synthesis model and actual process model data sets,the validity test and performance evaluation of the proposed algorithm were carried out.The experimental results showed that the proposed method could accurately quantify the behavior of unstructured process models within a specified range.

Key words: process model, trace length, number-of-traces, complete prefix unfolding, model complexity