面向迁移工作流可靠执行的协同监控模型

当前跨机构的工作流管理中,对业务流程实施有效监控是保障其可靠执行的重要手段.然而,无论是传统的监控方法还是新近出现的针对移动个体的监督容错机制,均无法有效解决对类似迁移工作流这种多主体协调并发执行过程的异常监控以及协调恢复问题.首先给出迁移工作流执行框架,即一个业务流程由多个具有层次关系的迁移实例通过协商与协作而实现;在此基础上提出一种层次型协同监控模型(HCM3),模型根据执行同一工作流的不同迁移实例之间的组织层次关系,派遣不同的监控者实施监控,通过监控者之间的协调机制实现对异常状态在不同层次的诊断与处理,以保持全局状态的一致.模型能够实现监控的并发性和异常处理的层次性,在一定程度上避免了单点瓶颈,提高了工作流执行的可靠性.     

迁移实例状态监控及失败恢复机制

迁移工作流是一种多执行主体并发协同工作的工作流范型,其自组织、自协调特性决定了迁移实例的执行状态容易受到外部环境和内部执行状态的影响而发生异常。对异常状态的检测以及发生故障后的恢复是保障其可靠性的关键。然而目前已有的监控处理机制不能有效支持对此问题的处理,因此,提出一种基于层次监控模型的迁移实例失败的协调恢复机制,实现对多迁移实例执行状态的监控以及执行失败后实现状态的一致性恢复。初步的实验表明,该机制能有效监控具有并发协同行为的执行主体,并保障恢复的一致性。     

面向目标的迁移工作流迁移路径的寻址与优化*

给出了一种面向目标的迁移工作流迁移路径的寻址与优化算法,研究了工作流的执行主体——迁移实例在动态环境中完成给定目标的迁移路径问题。借助ANDOR图理论,给出了算法的基本框架。     

迁移工作流管理系统中迁移实例组通信机制的研究

迁移实例（MI）是迁移工作流管理系统中的任务执行主体,可以在授权的工作位置上克隆或派生,以支持业务过程的分解和并行。迁移实例连同克隆体和派生体构成一个协作群组。提出了一种基于服务域的迁移实例组通信模型,给出了模型定义及框架结构,论证了通信模式选择的依据,并描述了主要的通信算法。实验表明,该模型在保证消息快速可靠传递的同时,大大减少了带宽占用,节省了节点计算资源,能够适应迁移工作流系统对迁移实例组通信高效性和可扩展性的要求。     

面向迁移实例旅行图动态适应性的目录服务研究*

迁移工作流是一种基于迁移实例在工作位置之间连续迁移并就地利用位置服务执行任务的工作流管理模式,许可的工作位置及迁移顺序由预先规划的旅行图约定。针对一旦工作位置故障或服务发生变化,预先规划的迁移路线就不能实现,从而影响迁移工作流的可靠执行,提出了一种分布式目录服务结构。该结构通过对目录服务组件的设计,不仅支持迁移实例旅行图的静态规划,而且支持基于服务推荐的迁移路线的动态修正,从而大大提高了迁移实例旅行图的动态适应性。     

迁移工作流管理中的过程完整性控制算法

在研究基于任务片的迁移工作流网络和执行模式的基础上,提出迁移工作流过程完整性控制算法。该算法采用本地恢复和迁移恢复相结合实现任务片的完整性,通过迁移实例派生机制保证整个迁移工作流过程的执行完整性。实例证明该算法可以实现迁移工作流过程完整性的有效控制。     

工作流演进变化中迁移策略的自动生成

工作流演进变化中一个重要问题就是如何实现工作流实例的迁移问题。提出了一种支持演进变化的工作流过程模型及相关的实例模型和修改模型，并在此基础上提出了一种新的迁移策略。该策略中每个节点的迁移规则根据工作流模型修改点与实例执行路径的关系确定相应的迁移动作。此外，还提出了一个根据工作流模型修改点的偏序关系自动生成各节点迁移规则的算法。     

基于Petri网模型的工作流实例迁移算法

工作流实例迁移是工作流演化研究中的一个重要问题.目前,大部分的工作流实例迁移策略是基于版本控制的,工作流实例不能及时迁移到新模型中运行.分析了工作流实例迁移过程中所存在的动态变更错误,并结合自由选择网的经典理论,提出了一种基于Petri网模型的工作流实例迁移算法.根据工作流实例迁移后的状态可达性,来确定该实例能否正确迁移,算法的时间复杂度是多项式的.     

面向目标的迁移工作流研究

传统的迁移工作流系统为迁移实例编写面向过程的工作流说明并驱动其工作,这种方法限制了迁移实例的灵活性。该文提出面向目标的迁移工作流的概念,定义相应的概念模型,给出基于BDI体系的迁移实例结构,使得迁移实例可以产生令工作流状态向目标转移的信念、愿望、意图和行为。相比传统的工作流方法,该概念模型和迁移机制能够灵活地处理工作流环境中的变化和根据工作流状态进行智能决策,具有目标驱动的特性。     

支持异常处理的迁移工作流服务方法研究

迁移工作流是迁移实例借助工作位置服务就地执行任务的移动计算模式,如何保证工作位置为迁移实例提供可靠的工作流服务,是迁移工作流管理系统设计中必须解决的一个关键问题。提出了一种基于案例推理的工作流服务方法,它利用服务案例支持迁移实例的正常工作,利用异常案例支持任务的异常处理。实验用例表明,该方法可以大大增强系统处理工作流服务异常的能力。     

面向服务的柔性迁移工作流停靠站设计

在迁移工作流系统中,停靠站服务器是迁移实例的运行支撑平台,必须能够支持多种支撑服务和应用服务的集成,适应运行环境和应用需求的动态变化。基于面向服务的概念,提出了一个可扩展、可定制和可重配置的停靠站服务器结构模型,描述了模型的体系结构和内核结构,讨论了服务组件的集成框架和组织模式,以及应用服务的部署模式等,并结合微内核和组件技术给出了参考实现方案。     

迁移实例的事件管理研究

在迁移工作流系统中,迁移实例是任务执行的主体,记录迁移实例在其生命周期中所发生的事件是对其管理的基础。该文提出了迁移实例的事件管理策略,给出了迁移实例的事件结构和存储方式,讨论了事件的存储、检索、验证和统计分析过程。应用实例表明,迁移实例的事件管理策略可以明显改善对迁移实例的运行管理。     

基于移动计算范型的迁移工作流研究

迁移工作流是近年来工作流管理研究的一个新方向，但它缺乏明确的模型定义和迁移域管理机制．该文针对上述问题，首先参照移动计算范型给出了迁移工作流的概念定义，然后提出了一个基于停靠站的迁移工作流管理系统结构，讨论了其中的停靠站和迁移实例组成、迁移域管理与迁移寻址方法、基于体系结构的迁移实例生命周期过程等，最后给出了一个实验例．示例表明，该文提出的迁移工作流模型和迁移体系结构，概念清晰，易构造且易管理．     

面向迁移工作流管理系统中工作位置的安全问题研究

迁移工作流为工作流技术提供了一个新的研究方向,同时也给迁移工作流管理系统带来了更多的安全问题。文中重点研究迁移工作流管理系统中工作位置的安全问题,根据这些问题给出了工作位置的安全策略,并根据安全策略提出了一个工作位置的安全模型,并详细介绍了模型中的安全加载、状态监测和访问控制几个方面的关键技术和实现。     

迁移工作流系统中迁移实例的路径规划研究

提出了基于导航树的迁移实例路径规划模型,详细描述了迁移实例的寻径过程,给出了导航树的自维护管理机制,使导航树能根据工作流网络中停靠站的变化动态地完成导航知识的更新维护;同时由于停靠站的变更信息只在本域内交互,大大减少了迁移工作流网络的信息流量,特别适合于大型、停靠站点变更频繁的跨组织工作流服务。企业订单实例表明,引入导航树路径规划机制可以使迁移实例获得更有针对性的迁移路线,避免盲目迁移。