摘要
模式进化是工作流管理系统的一个主要特点之一.以缺乏正确性分析的工作流模式进化为例,指出进化后的模式会存在着数据流冲突或控制流结构错误,并以A a lst提出的工作流网的建模方法为形式化描述,对工作流管理系统中增加变迁的工作流模式进化进行了分析,提出了无数据流冲突的模式进化算法,及进化时保证控制流结构正确性的进化插入规则,并给出了相关的正确性验证.
Workflow evolution is one of important research area in workflow management technology. This paper describe errors in workflow evolution based on workflow net which advanced by Aalst, show that there will be data-flow conflict and control-flow error through an example without workflow verification, based on analysis of adding transition in workflow evolution · paper promises evolution algorithm without data-flow conflict , and evolution rules of inserting transition control-flow error ,and also gives verification of evolution rules.
出处
《小型微型计算机系统》
CSCD
北大核心
2006年第9期1652-1656,共5页
Journal of Chinese Computer Systems
基金
上海市青年科技启明星计划(B类)基金项目(05QMB1430)资助.
