计算机科学 ›› 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] | 陈志强, 韩萌, 李慕航, 武红鑫, 张喜龙. 数据流概念漂移处理方法研究综述 Survey of Concept Drift Handling Methods in Data Streams 计算机科学, 2022, 49(9): 14-32. https://doi.org/10.11896/jsjkx.210700112 |
| [2] | 胡安祥, 尹小康, 朱肖雅, 刘胜利. 基于数据流特征的比较类函数识别方法 Strcmp-like Function Identification Method Based on Data Flow Feature Matching 计算机科学, 2022, 49(9): 326-332. https://doi.org/10.11896/jsjkx.220200163 |
| [3] | 李霞, 马茜, 白梅, 王习特, 李冠宇, 宁博. RIIM:基于独立模型的在线缺失值填补 RIIM:Real-Time Imputation Based on Individual Models 计算机科学, 2022, 49(8): 56-63. https://doi.org/10.11896/jsjkx.210600180 |
| [4] | 陈圆圆, 王志海. 基于聚类分区的多维数据流概念漂移检测方法 Concept Drift Detection Method for Multidimensional Data Stream Based on Clustering Partition 计算机科学, 2022, 49(7): 25-30. https://doi.org/10.11896/jsjkx.210600155 |
| [5] | 庞兴龙, 朱国胜. 基于半监督学习的网络流量分析研究 Survey of Network Traffic Analysis Based on Semi Supervised Learning 计算机科学, 2022, 49(6A): 544-554. https://doi.org/10.11896/jsjkx.210600131 |
| [6] | 李清, 刘伟, 管梦真, 杜玉越, 孙红伟. 基于逻辑博弈决策Petri网的应急决策建模与分析 Modeling and Analysis of Emergency Decision Making Based on Logical Probability GamePetri Net 计算机科学, 2022, 49(4): 294-301. https://doi.org/10.11896/jsjkx.210300224 |
| [7] | 夏源, 赵蕴龙, 范其林. 基于信息熵更新权重的数据流集成分类算法 Data Stream Ensemble Classification Algorithm Based on Information Entropy Updating Weight 计算机科学, 2022, 49(3): 92-98. https://doi.org/10.11896/jsjkx.210200047 |
| [8] | 汤世征, 张岩峰. DragDL:一种易用的深度学习模型可视化构建系统 DragDL:An Easy-to-Use Graphical DL Model Construction System 计算机科学, 2021, 48(8): 220-225. https://doi.org/10.11896/jsjkx.200900045 |
| [9] | 陶小燕, 闫春钢, 刘关俊. 基于WFT-net验证合理性的动态数据精炼策略 Dynamic Data Refining Strategy for Soundness Verification Based on WFT-net 计算机科学, 2021, 48(7): 99-104. https://doi.org/10.11896/jsjkx.200700125 |
| [10] | 赖祥威, 郑万波, 吴燕清, 夏云霓, 冉啟华, 董银环. 矿山事故应急救援数字预案的任务协同流程网络模型及时效分析 Task Collaborative Process Network Model and Time Analysis of Mine Accident Emergency Rescue Digital Plan 计算机科学, 2021, 48(6A): 596-602. https://doi.org/10.11896/jsjkx.200500041 |
| [11] | 宁玉辉, 姚喜. 一种应急指挥系统的设计与实现 Design and Implementation of Emergency Command System 计算机科学, 2021, 48(6A): 613-618. https://doi.org/10.11896/jsjkx.201000136 |
| [12] | 齐延荣, 周夏冰, 李斌, 周清雷. 基于FPGA的CNN图像识别加速与优化 FPGA-based CNN Image Recognition Acceleration and Optimization 计算机科学, 2021, 48(4): 205-212. https://doi.org/10.11896/jsjkx.200600089 |
| [13] | 王吴松, 方欢, 郑雪文. 基于分组公平控制流结构的流程变体合并方法 Process Variants Merging Method Based on Group-fair Control Flow Structure 计算机科学, 2021, 48(12): 170-180. https://doi.org/10.11896/jsjkx.201100157 |
| [14] | 吉顺慧, 张鹏程. 基于支配关系的数据流测试用例生成方法 Test Case Generation Approach for Data Flow Based on Dominance Relations 计算机科学, 2020, 47(9): 40-46. https://doi.org/10.11896/jsjkx.200700021 |
| [15] | 李娟,方贤文,王丽丽,刘祥伟. 基于日志自动机的业务流程混沌活动过滤方法 Chaotic Activity Filter Method for Business Process Based on Log Automaton 计算机科学, 2020, 47(1): 66-71. https://doi.org/10.11896/jsjkx.181102110 |
|
||
首页