论文部分内容阅读
随着工作流技术的不断发展以及在实际应用中的不断深入,人们在功能上对工作流系统提出了更多的要求,其中一个重要问题是关于可适应工作流的研究和实现。可适应工作流系统必须要具有很强的异常处理能力以及动态修改能力,围绕加强工作流系统的可适应能力,本文做了如下工作:使用可扩展标识语言XML(Extensible Markup Language)和XML Schema作为可适应工作流模型的定义语言,对可适应工作流的系统模型、模型组成之间的关系进行定义和表述。在模型的执行和控制机制方面,探讨了由主动规则(ECA)构成的规则图及其执行可终止性的充分条件,以及可适应工作流模型的执行控制机制。为加强可适应工作流系统运行的正确性和强壮性,将传统的事务处理概念、方法引入到可适应工作流系统的运行及保障机制中。可适应工作流异常处理的理论模型与相关算法研究:探讨了在可适应工作流系统中有关工作流异常的表示方法、对不同异常的监测、处理策略、相应的形式化描述以及异常监测处理的实现算法。可适应工作流动态修改理论及具体实现方法:探讨了动态修改的操作集、动态修改遵循的策略和应用方法、动态修改的规则,并从工作流系统的控制流和数据流方面,分析讨论了实施动态修改的具体方法及相关算法,以此来解决动态修改中涉及到的工作流正确性和数据一致性问题。可适应工作流模型仿真技术研究:研究从异常处理的角度,提出可适应工作流模型进行仿真的机制、仿真环境结构的组成以及仿真评价指标。提出为增强仿真的可信度,应当以工作流活动为联系纽带的时间、成本、系统负荷等因素作为仿真的重点。