论文部分内容阅读
迁移工作流是近年来工作流技术发展的一个新方向。迁移工作流引擎、迁移实例和工作位置是构成迁移工作流管理系统的三要素。迁移工作流引擎完成工作流过程定义、迁移实例生成和多迁移实例协调等工作。迁移实例以移动Agent为范型构建,是迁移工作流的执行主体。它携带着任务说明书在旅行图规定的多个工作位置之间连续迁移,并就地利用位置服务完成一项或者多项任务。工作位置包括停靠站服务器和工作机网络两部分,它为迁移实例提供运行时服务和工作流服务。在迁移工作流管理系统中,工作位置提供的服务是完成迁移实例提交的任务的前提。若工作位置在为迁移实例提供服务的过程中出现异常,将造成工作流无法准确完整地执行。因此,为保证迁移工作流完整准确执行,迁移工作流管理系统必须对工作位置上出现的异常进行处理。工作位置异常可以分为物理故障异常和逻辑故障异常两类,前者是指位置主机崩溃、网络断连等硬件异常,后者是指工作位置提供的工作流服务发生了变化、服务不能按照计划进行或者未产生预期的结果。本文研究的是逻辑故障异常的处理,即如何提供支持异常处理的迁移工作流服务。本文首先根据工作位置的服务特性,分析了服务异常的处理特点。根据工作位置的服务特点及其异常处理特点,明确了迁移工作流服务中的补偿概念和补偿模型。其次,针对工作位置提供的服务自治的特点,基于案例推理的思想,提出了一种支持异常处理的迁移工作流服务模型。该模型以工作机服务为案例组织单元,利用案例实现了工作位置的服务知识和补偿知识的管理和重用。通过服务案例实现工作机服务的组织和管理,以支持工作位置服务的自治性的实现;利用补偿案例设置本地补偿路径,实现对工作流服务异常的处理。该服务模型将异常处理方法与服务方法结合,异常的处理充分考虑本地服务知识及异常的上下文环境,利用补偿案例中的补偿知识处理检测到的异常,从而保证迁移工作流服务过程的完整性和准确性,实现失败任务的恢复。最后,基于提出的工作流服务模型,设计了工作位置的工作流服务框架,并给出了基于服务案例的工作流服务过程和基于补偿案例的服务异常处理过程。基于本文提出的迁移工作流服务方法,以书店工作流服务系统为迁移实例提供图书销售服务的过程为例,说明了该服务方法在保证本地服务自治性的同时,大大增强了迁移工作流管理系统处理异常的能力。未来将在基于本体的案例匹配和工作位置向迁移实例提供主动服务方面做深入的研究。