基于Petri网行为包含和行为继承的业务流程变化域传播分析.pdfVIP

Vo l. 43 No. 11 计算机科学 第 43 卷第11 期 2016 年 11 月 Computer Science Nov 2016 基于 Petri 网行为包含和行为继承的业务流程变化域传播分析 方贤文1.2 赵芳1 刘祥伟l 方欢I (安徽理工大学信息与计算科学系 淮南 232001)1 (同济大学计算机科学系 上海 201804)2 摘 要 业务流程建模问题一直是业务流程管理的核心问题，其目的是为了灵活地适应变化的商务需求，但在建模过 程中也会出现一系列的问题，有些模型之间甚至存在着相同的问题，因此会出现变化域传播的现象。已有的方法主要 是从边界变迁的减少和内部边界变迁的减少来分析模型的变化域传播，因而具有一定的局限性。为了研究模型阔的 变化域传播问题，基于源模型和目标模型之间存在的边等价及行为包含关系，通过给定源模型的变化域，提出了基于 行为继承的变化域传播分析方法来寻找目标模型的变化域。最后，通过一个具体的流程实例进一步说明了该方法的 可行性。 关键词 变化域传播，迹等价，行为包含，行为继承 中图法分类号 TP391.9 文献标识码 A 囚】I 10. 11896/i. issn. 1002-137瓦 2016.1 1. 007 Change Propagation Analysis in Business Pr啊倒Based on Behavior Inclusion and Behavior Inheritance of Petri 12 1 1 1 FANG Xian-wen . ZHAO Fang LIU Xiang-wei F血..JG Huan Department of Information and Computing Science.Anhui University of Science and Technology. Huainan Z3200 1.China)1 C CDepartment of Computer Science ,Tongji University.Shanghai 201804. China) 2 Abstract Business process modeling is the core problem of business process rnanagement. the purpose of which is to a- dapt to the changing business needs flexibly. However. there will be a series of problems in the process of modeling ,and there may exist the same problem in some models ,that in turn imposes a phenomenon for the propagation of changes. Existing methods analyze the change propagation mainly from the reduction of boundary nodes and the inter-boundary nodes.so there are some limitations. To study the propagation of changes ,b