计算机科学

计算机科学 ›› 2020, Vol. 47 ›› Issue (5): 59-63.doi: 10.11896/jsjkx.190500119

• 理论计算机科学 • 上一篇    下一篇

基于概率和时间因素的Petri网业务流程一致性分析

杨皓然, 方贤文   

  1. 安徽理工大学数学与大数据学院 安徽 淮南232001
  • 收稿日期:2019-05-21 出版日期:2020-05-15 发布日期:2020-05-19
  • 通讯作者: 方贤文(280060673@qq.com)
  • 作者简介:425597813@qq.com
  • 基金资助:
    国家自然科学基金(61402011,61572035);安徽省自然科学基金(1508085MF111,1608085QF149);安徽省高校自然科学基金(KJ2016A208)

Business Process Consistency Analysis of Petri Net Based on Probability and Time Factor

YANG Hao-ran, FANG Xian-wen   

  1. School of Mathematics and Big Data,Anhui University of Science & Technology,Huainan,Anhui 232001,China
  • Received:2019-05-21 Online:2020-05-15 Published:2020-05-19
  • About author:YANG Hao-ran,born in 1995,postgra-duate.His main research interests include Petri net and so on.
    FANG Xian-wen,born in 1975,Ph.D,professor,Ph.D supervisor,is a member of China Computer Federation.His main research interests include Petri net and software credibility.
  • Supported by:
    This work was supported by the National Natural Science Foundation of China (61402011,61572035),Natural Science Foundation of Anhui Pro-vince,China(1508085MF111,1608085QF149) and Natural Science Foundation of the Higher Education Institutions of Anhui Province,China (KJ2016A208)

PDF (PC)

332

摘要： 业务流程一致性分析作为业务流程管理的重要内容之一,近年来一直是业务流程管理研究领域的热点。目前已有的方法主要从控制流和数据流两方面进行研究,在实际情况下,概率和时间因素会对业务流程产生较大的影响。因此,文中提出了一种基于概率和时间因素的Petri网业务流程一致性分析方法。首先,给出了基于概率因素的控制流Petri网和基于时间因素的数据流Petri网的定义;然后,将基于概率因素的控制流Petri网和基于时间因素的数据流Petri网中的所有变迁分别映射到原业务流程Petri网中,得到各自的行为映射表,并针对两种类型的Petri网提出相应的行为兼容度算法,依据行为兼容度的值来衡量业务流程的一致性程度;最后,进行实例分析,结果显示了该方法的有效性和优越性。

关键词: Petri网, 控制流, 数据流, 行为兼容度

Abstract: As one of the important part of business process management,business process consistency analysis has been a hot topic in business process management research in recent years.The existing methods mainly study from two aspects,control flow and data flow.Actually,probability and time factors have a major impact on business processes.As a result,this paper proposes a Petri net business process consistency analysis method based on probability and time factor.First,the definition of control flow Petri net with probability factor and data flow Petri net with time factor are proposed.Then,all the transitions of control flow Petri net with probability factor and data flow Petri net with time factor are respectively mapped to the original business process Petri net,and the respective behavior maps are obtained.Corresponding behavioral compatibility algorithms for the two types of Petri net are proposed,and the consistency degree of business process is measured by the value of behavioral compatibility.Finally,the effectiveness and superiority of the method are demonstrated by an example.

Key words: Petri net, Control flow, Data flow, Behavioral compatibility

中图分类号: 

  • TP391.9
[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.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 .
[2] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[3] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[4] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[5] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 .
[6] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[7] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 .
[8] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 .
[9] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 .
[10] 王振朝,侯欢欢,连蕊. 抑制CMT中乱序程度的路径优化方案[J]. 计算机科学, 2018, 45(4): 122 -125 .
渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发