计算机科学 ›› 2016, Vol. 43 ›› Issue (11): 36-39.doi: 10.11896/j.issn.1002-137X.2016.11.007

• 目次 • 上一篇    下一篇

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

方贤文,赵芳,刘祥伟,方欢   

  1. 安徽理工大学信息与计算科学系 淮南232001;同济大学计算机科学系 上海201804,安徽理工大学信息与计算科学系 淮南232001,安徽理工大学信息与计算科学系 淮南232001,安徽理工大学信息与计算科学系 淮南232001
  • 出版日期:2018-12-01 发布日期:2018-12-01
  • 基金资助:
    本文受国家自然科学基金项目(61572035,61272153,61402011),安徽省自然科学基金(1508085MF111),安徽省高校自然科学基金重点项目(KJ2014A067),安徽省优秀青年基金项目(ZY290)资助

Change Propagation Analysis in Business Process Based on Behavior Inclusion and Behavior Inheritance of Petri

FANG Xian-wen, ZHAO Fang, LIU Xiang-wei and FANG Huan   

  • Online:2018-12-01 Published:2018-12-01

摘要: 业务流程建模问题一直是业务流程管理的核心问题,其目的是为了灵活地适应变化的商务需求,但在建模过程中也会出现一系列的问题,有些模型之间甚至存在着相同的问题,因此会出现变化域传播的现象。已有的方法主要是从边界变迁的减少和内部边界变迁的减少来分析模型的变化域传播,因而具有一定的局限性。为了研究模型间的变化域传播问题,基于源模型和目标模型之间存在的迹等价及行为包含关系,通过给定源模型的变化域,提出了基于行为继承的变化域传播分析方法来寻找目标模型的变化域。最后,通过一个具体的流程实例进一步说明了该方法的可行性。

关键词: 变化域传播,迹等价,行为包含,行为继承

Abstract: Business process modeling is the core problem of business process management,the purpose of which is to adapt 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,based on the trace equivalence and behavior inclusion relations between the source and target models,we gave the change region of the source model and used the change propagation analysis method of behavior inheritance to find the change region of the target model.Finally,a specific process instance is used to show the feasibility of this method.

Key words: Change region propagation,Trace equivalence,Behavior inclusion,Behavior inheritance

[1] Rinderle S,Reichert M,Dadam P.Correctness Criteria for Dynamic Changes in Workflow Systems-A Survey [J].Data & Knowledge Engineering,2004,50(1):9-34
[2] Weber B,Rinderle S,Reichert M.Change Patterns and Change Support Features In Process-Aware Information Systems[C]∥CAISE 2007.Heidelberg:Springer Berlin Heidelberg,2007:574-588
[3] Weidlich M,Barro A,Mendling J,et al.Vertical Alignment ofProcess Models[M]∥How can we get there? 2009 .Berlin:Springer Berlin Heidelberg,2009:71-84
[4] Weidlich M,Weske M,Mendling J.Change Propagation inProcess Models using Behavioral Profiles[C]∥Service Computing,2009.Bangalore,2009:33-40
[5] Weidlich M,Mendling J,Weske M.Propagating changes betw-een aligned process models [J].Journal of Systems and Software,2012,85(8):1885-1898
[6] Gupta C,Singh Y,Singh C D.A Dynamic Approach to Estimate Change Impact using Type of Change Propagation [J].Journal of Information Processing Systems,2010,6(4):597-608
[7] Goknil A,Kurtev I,Berg K,et al.Change Impact Analysis for Requirements:A Meta-modeling Approach [J].Information and Software Technology,2014,56(8):950-972
[8] Wang R C,Huang R B,Qu B B.Network-Based Analysis of Software Change Propagation [J].The Scientific World Journal,2014,1155(10):237-243
[9] Weidlich M,Mendling J,Weske M.Efficient Consistency Mea-surement based on Behavioral Profiles of Process Models [J].IEEE Transactions on Software Engineer,2011,37(3):410-429
[10] Hao W J,Fang X W.The Approach Of Analyzing The Smallest Change Domain In Process Models Based On Petri Nets [J].Computer Science,2012,39(z11):76-78
[11] Kunze M,Weidlich M,Weske M.Querying Process Models by Behavior Inclusion [J].Software & Systems Modeling,2015,14(3):1105-1125
[12] Basten T,van der Aalst W M P.Inheritance of behavior [J].The Journal of Logic and Algebraic Programming,2011,47(2):47-145
[13] van der Aalst W M P,Gottschalk F D M.Preserving correctness during business process model configuration [J].Formal Aspects of Computing,2010,22(3):459-482
[14] Atieh R B,Peck L S.Modeling and Analysis of Change Manage-ment in Dynamic Business Process [J].International Journal of Computer and Electrical Engineering,2010,2(6):181-189
[15] van der Aalst W M P ,Lohmann N,La R M.Ensuring correctness during process configuration via partner synthesis [J].Information Systems,2012,37(6):574-592

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!