摘要
在业务流程管理中,确定流程模型的最小变化域是一项重要的问题。已有的方法主要是从整个模型的角度去分析考察它的最小变化域,计算量比较复杂,具有一定的局限性。为了尽快查找到目标模型中的最小变化域,提出了Petri网动态切片的方法。首先通过对比分析源模型和目标模型的结构图得出目标模型的可疑区域,接着依据行为轮廓的思想在目标模型可疑区域中搜索出变化域,然后通过Petri网动态切片的方法得到目标模型的最小变化域。最后通过具体的电子购物实例,验证了该方法的有效性。
In the business process modeling, determining the smallest change domain of the process modeling is becoming a key problem. The developed method to consider the smallest change region is mainly from the angle of the whole model, and its calculation is very complex, so it has some limitations. In order to find out the smallest change region of a target model quickly, this paper puts forward a method named dynamic slice of Petri nets.Through the comparative analysis of the structure figures of source model and target model, the suspicious areas of the target model can be achieved. Then the thought of behavioral profiles is used to derive the change region of the suspicious areas in the target model. And the method named dynamic slice of Petri nets is used to obtain the smallest change region of the target model. Finally, the electronic shopping is used as an example to analyze the effectiveness of the method.
出处
《计算机科学与探索》
CSCD
北大核心
2016年第4期516-523,共8页
Journal of Frontiers of Computer Science and Technology
基金
国家自然科学基金Nos.61272153
61402011
安徽省自然科学基金No.1508085MF111
安徽省高校自然科学基金重点项目No.KJ2014A607~~
关键词
最小变化域
PETRI网
动态切片
可疑区域
行为轮廓
变化域
the smallest change region
Petri nets
dynamic slice
suspicious areas
behavioral profiles
change region
