模式进化是工作流管理系统的一个主要特点之一.以缺乏正确性分析的工作流模式进化为例,指出进化后的模式会存在着数据流冲突或控制流结构错误,并以A a lst提出的工作流网的建模方法为形式化描述,对工作流管理系统中增加变迁的工作流模...模式进化是工作流管理系统的一个主要特点之一.以缺乏正确性分析的工作流模式进化为例,指出进化后的模式会存在着数据流冲突或控制流结构错误,并以A a lst提出的工作流网的建模方法为形式化描述,对工作流管理系统中增加变迁的工作流模式进化进行了分析,提出了无数据流冲突的模式进化算法,及进化时保证控制流结构正确性的进化插入规则,并给出了相关的正确性验证.展开更多
文摘模式进化是工作流管理系统的一个主要特点之一.以缺乏正确性分析的工作流模式进化为例,指出进化后的模式会存在着数据流冲突或控制流结构错误,并以A a lst提出的工作流网的建模方法为形式化描述,对工作流管理系统中增加变迁的工作流模式进化进行了分析,提出了无数据流冲突的模式进化算法,及进化时保证控制流结构正确性的进化插入规则,并给出了相关的正确性验证.
文摘网格数据库是数据库技术和网格技术相结合后的新的研究领域,其适应性查询优化技术对传统的查询计划模型产生了新的要求。在分析了基于DAG(directed acylicgraph)的查询计划模型不足的基础上,提出了基于Petri网的查询计划描述模型QPPN(Query Plan Petn Net)网,丰富了查询计划模型中子查询与节点之间数据关系的描述能力,并在OPPN网的基础上,给出了适应性进化的查询计划一致性分析及定理,保证了进化的正确性。
