计算机科学 ›› 2020, Vol. 47 ›› Issue (5): 59-63.doi: 10.11896/jsjkx.190500119
杨皓然, 方贤文
YANG Hao-ran, FANG Xian-wen
摘要: 业务流程一致性分析作为业务流程管理的重要内容之一,近年来一直是业务流程管理研究领域的热点。目前已有的方法主要从控制流和数据流两方面进行研究,在实际情况下,概率和时间因素会对业务流程产生较大的影响。因此,文中提出了一种基于概率和时间因素的Petri网业务流程一致性分析方法。首先,给出了基于概率因素的控制流Petri网和基于时间因素的数据流Petri网的定义;然后,将基于概率因素的控制流Petri网和基于时间因素的数据流Petri网中的所有变迁分别映射到原业务流程Petri网中,得到各自的行为映射表,并针对两种类型的Petri网提出相应的行为兼容度算法,依据行为兼容度的值来衡量业务流程的一致性程度;最后,进行实例分析,结果显示了该方法的有效性和优越性。
中图分类号:
[1] | GUPTA C,SINH Y,CHAUHAN D S.A dynamic approach to estimate change impact using type of change propagation[J].Journal of Information Processing Systems,2010,6(4):597-608. |
[2] | RAJABI B A,LEE S P.Modeling and analysis of change mana-gement in dynamic business process[J].International Journal of Computer and Electrical Engineering,2010,2(6):181-189. |
[3] | DU H S,DU Y Y.Mining of Block Concurrent Process Based on Incomplete Logs[J].Computer Engineering,2018,44(12):56-61. |
[4] | OLEG S,SAMPATH K,INSUP L.Simulation-Based GraphSimilarity[C]//Proceedings of the 12th International Confe-rence on Tools and Algorithms for the Construction and Analysis of System.2006:426-440. |
[5] | TONG Y,LI Z W,ALESSANDRO G.Observation Equivalence of Petri Net Generators[C]//12th IFAC/IEEE Workshop on Discrete Event Systems.2014:338-343. |
[6] | MATTHIAS W,REMCO D,MATHIAS W.Behaviour Equivalence and Capability of Business Process Models with Complex Correspondences[J].The Computer Journal,2012,55(11):1398-1418. |
[7] | MOSER S,MARTENS A,GORLACH K,et al.Advanced verification of distributed ws-bpel business processes incorporating cssa-vased data flow analysis[C]//Proceedings of the IEEE International Conference on Services Computing.2007:98-105. |
[8] | BATCHELDER M,HENDREN L.Obfuscating java:the most pain for the least gain[C]//Proceedings of the 16th Internation Conference on Compiler Construction.2007:96-110. |
[9] | RUSSELL N,ARTHUR H,HOFSTEDE M,et al.WorkflowData Patterns:Identification,Representation and Tool Support[C]//Proceedings of 24th International Conference on Conceptual Modeling.2005:353-368. |
[10] | MAYR C,ZDUN U,DUSTDAR S.Enhancing Traceability of Persistent Data Access Flows in Process-Driven SOAs[J].Distributed and Parallel Databases,2013,31(1):1-45. |
[11] | LIU L.Analysis about the Consistency of Business ProcessModel based on Petri Net[D].Huainan:Anhui University of Science and Technology,2014. |
[12] | ZHAN Y,FANG X,WANG L.Analysis of Interactive Process Change Propagation Based on Configuration[J].Computer Science,2019,8(8):1-8. |
[13] | SMIRNOV S,WEIDLICH M,MENDLING J.Business process model abstrcation based on behavioral profiles[C]//Proceedings of the 8th International Conference on Service Oriented Computing.2010:1-16. |
[14] | ASSY N,CHAN N N,GAALOUL W.An Automated Approach for Assisting the Design of Configurable Process Models[J].IEEE Transactions on Services Computing,2015,8(6):874-888. |
[15] | FANG X,LIU L,LIU X.Analyzing method of change region in BPM based on module of Petri net[J].Information Technology Journal,2013,12(8):1655-1659. |
[16] | RINDERLE S,REICHERT M,DADAM P.Correctness criteria for dynamic changes in workflow systems-A survey[J].Data&Knowledge Engineering,2014,50(1):9-34. |
[17] | HE L,FANG H.Change Propagation Method of Service-oriented Business Process Model with Data Flows Based on Petri Net[J].Computer Science,2018,6(6):545-567. |
[18] | MENDLING J,WESKE M,WEIDLICH M.Change Propagation in Process Models Using Behavioural Profiles[C]//IEEE International Conference on Services Computing.2009:33-40. |
[19] | WU Z H.Petri net theory[M].Beijing:China Machine Press,2006:6-22. |
[1] | 吉顺慧, 张鹏程. 基于支配关系的数据流测试用例生成方法[J]. 计算机科学, 2020, 47(9): 40-46. |
[2] | 李娟,方贤文,王丽丽,刘祥伟. 基于日志自动机的业务流程混沌活动过滤方法[J]. 计算机科学, 2020, 47(1): 66-71. |
[3] | 孙书亚, 方欢, 方贤文. 日志诱导下的形态学片段流程聚类方法[J]. 计算机科学, 2019, 46(8): 71-77. |
[4] | 苏庆,林昊,黄剑锋,何凡,林志毅. 基于Petri网编码的动态图水印技术研究[J]. 计算机科学, 2019, 46(7): 120-125. |
[5] | 宋健,方贤文,王丽丽. 基于流程切的过程模型挖掘方法[J]. 计算机科学, 2019, 46(7): 315-321. |
[6] | 陆叶杉. 系统数据迁移常见问题及案例分析[J]. 计算机科学, 2019, 46(6A): 412-416. |
[7] | 孟志青, 许微微. 时态文本数据流特征流行趋势模型及算法[J]. 计算机科学, 2019, 46(6A): 417-422. |
[8] | 杨萍, 王生原. 同步数据流语言可信编译器的研究进展[J]. 计算机科学, 2019, 46(5): 21-28. |
[9] | 郭威, 于建江, 汤克明, 徐涛. 动态数据流分析的在线超限学习算法综述[J]. 计算机科学, 2019, 46(4): 1-7. |
[10] | 朱颖雯, 杨君. 基于欧拉核的数据流聚类算法[J]. 计算机科学, 2019, 46(12): 74-82. |
[11] | 宋健, 方贤文, 王丽丽, 刘祥伟. 基于行为轮廓的业务流程隐变迁挖掘方法[J]. 计算机科学, 2019, 46(12): 334-340. |
[12] | 帕尔哈提江·斯迪克, 马建峰, 孙聪. 一种面向二进制的细粒度控制流完整性方法[J]. 计算机科学, 2019, 46(11A): 417-420. |
[13] | 姬秀娟, 孙晓卉, 许静. 基于复杂控制流的源代码内存泄漏静态检测[J]. 计算机科学, 2019, 46(11A): 517-523. |
[14] | 秦一休, 文益民, 何倩. 概念漂移数据流分类中的多源在线迁移学习算法[J]. 计算机科学, 2019, 46(1): 64-72. |
[15] | 尹中旭, 张连成. 一种数据流相关过滤器自动插入的注入入侵避免方案[J]. 计算机科学, 2019, 46(1): 201-205. |
|