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