关键词: 可配置业务流程, 流程配置, 着色Petri网, 数据流

Abstract: A configurable business process model described the domain oriented similar process model,In this model,process configuration was achieved by hiding,blocking or allowing certain fragments of the configurable business process model,which led to behavioral issues such as deadlocks and livelocks.Aiming at this problem,the Color Petri Net (CPN) was used as formalism model to express the business process model.The data-flow was added into control flow to integrate the data-flow generated by activities into the business process model,which enabled to dealing with the data semantic in the business process model.Through adding configurable operation,the business process model was transformed into the configurable business process model.The data semantic constraints of configurable business process model based on data flow was expresses with logic ASK-CTL,and the corresponding toolset of CPN was applied to analyze and verify the data semantic constraint properties of this model.The results of experiment showed the validation of the proposed method.

Key words: configurable business processes, process configuration, colored Petri net, data flow