摘要
数据约束模型的一致性分析是业务流程管理的重要问题。已有的方法主要单一考虑流程模型的控制流方面。但是,对于一个模型而言,考虑数据流的时候可能是不一致的,所以应该结合数据信息的影响分析业务流程模型的一致性。基于相似最优校准的概念,根据算法计算出模型与日志的简化最优校准集,以便缩减已有方法所需的数量,然后映射校准移动到模型以确定模型行为不一致的区域,并添加控制节点进一步优化模型,最后通过具体实例验证该方法的可行性。
Conformance analysis of data constrained models plays an important role in business process management.The existing methods maily consider the control flow aspect of the process model. However, for a model, the data flow may be considered inconsistent, so the consistency of the business process model should be analyzed in conjunction with the impact of data information. This paper firstly simplifies optimal alignments between model and log which are computed based on similar optimal alignments, and can reduce the amount of computation required for existing methods. Then by mapping the alignment move to the model, the non-conformance region in the model is found out. The control node is added to further optimize the model. Finally the feasibility of techniques is illustrated through specific system.
引文
[1] Liu Haibin,Liu Guohua,Huang Liming.Behavioral conformance detection method based on artifact snapshot sequence[J].Journal of Software,2015,26(3):491-508.
[2] Bose R,van der Aalst W.Process diagnostics using trace alignment:opportunities,issues and challenges[J].Information System,2012,37(2):117-141.
[3] van der Aalst W,Adriansyah A,Dongen B F.Replaying history on process models for conformance checking and performance analysis[J].Data Mining and Knowledge Discovery,2012,2(2):182-192.
[4] Weidlich M,Polyvyanyy A.Process compliance measurement based on behavioral profiles[J].Information System Engineering,2010,22(10):499-514.
[5] Greco G,Guzzo A,Pontieri L,et al.Discovering expressive process models by clustering log traces[J].IEEE Trans Knowledge Data Engineering,2006,18(12):1010-1027.
[6] van der Aalst W.Process mining-discovery,conformance and enhancement of business processes[J].Computer Science,2011,4(2):156-170.
[7] Weidlich M,Polyvyanyy A,Desai N,et al.Process compliance measurement based on behavioral profiles[C]//International Conference on Advanced Information Systems Engineering.Berlin Heidelberg:Springer,2010:499-514.
[8] Adriansyah A,van Dongen B F,van der Aalst W.Conformance checking using cost-based fitness analysis[C]//Proceedings IEEE International Enterprise Distributed Object Computing Workshop,2011:55-64.
[9]胡涛.流程挖掘的一致性检查算法研究[J].华南理工大学学报,2015,3(3):9-18.
[10] Munoz Gama J,Carmona J,van der Aalst W.Hierarchical conformance checking of process models based on event logs[C]//Proceedings of International Conference on Applications&Theory of Petri Nets&Concurrency,2013:291-310.
[11] Moser S,Martens A,Gorlach K,et al.Advanced verification of distributed ws-bpel business processes incorporating cssa-based data flow analysis[C]//Proceedings of the IEEE International Conference on Services Computing,2007:98-105.
[12]尹宁.一种面向数据模型煎并行业务流程异常检测方法[J].计算机研究与发展,2011,48(2):290-297.
[13]刘之强,李红燕,王磊.面向业务流程的数据模型异常检测方法[J].计算机学报,2010,33(8):1349-1358.
[14] de Leoni M,van der Aalst W M P,van Dongen B F.Data-and resource-aware conformance checking of business processes[J].Computer Science,2015,5(6):1-11.
[15]田银花.基于Petri网基本结构的相似最优校准计算方法[J].计算机集成制造系统,2016,22(2):433-447.
[16]王路,杜玉越.一种基于校准的模型问题域识别方法[J].山东科技大学学报,2015,34(1):42-45.