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

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

一种层次型迁移工作流容错执行框架

迁移工作流是一种基于移动agent的工作流管理技术,可靠性是其不容忽视的关键问题。目前已有的研究工作大多仅针对某一方面的特定问题,缺乏系统级模型支持。提出一种层次型容错执行框架,并实现了其中的通信容错、执行容错以及多迁移实例状态容错,初步的实验表明,该容错执行框架机制能够有效解决迁移实例在通信、执行和一致性状态等方面的容错,大大降低迁移实例夭折造成的工作流执行失败。     

迁移工作流系统通信机制研究

迁移工作流是解决当前工作流管理领域不完全业务过程定义的一个新的研究方向，通信机制是迁移工作流系统实现的一个关键问题。本文在分析通信需要解决的主要问题的基础上，提出了一种适应迁移工作流系统特征的通信模型，给出了模型框架结构，并详细描述了其中的迁移实例通信算法。模型在实现可靠异步通信的同时，能够保证信件的顺序和exactly-once提交，降低寻址时间，减小三角路由的带宽占用，增强系统对规模扩大的适应能力，使算法在通信与迁移都较频繁时仍能保持较高的效率。     

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

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

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

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

基于本体的迁移工作流服务模型研究

针对迁移工作流服务语义共享的特点，基于本体论，提出一种迁移工作流服务模型。该模型通过工作流元本体为迁移实例和各站点提供统一的工作流服务语义。在此基础上，通过服务本体描述和组织迁移工作流服务，实现服务发现。该模型较好地实现了迁移实例与各站点间的语义共享。     

基于生物免疫的迁移实例完整性检测

迁移实例的可迁移性为工作流管理系统带来了更多的安全问题。针对迁移工作流管理系统中迁移实例的完整性问题，基于生物免疫原理为迁移实例构造了一个免疫体以及基于免疫体的迁移实例完整性自检测系统。详细讨论了免疫体的构造、检测过程并对重要参数进行了分析。     

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

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

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

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

一种支持工作流动态修改并自动迁移的方法

工作流技术中一个重要而开放的问题就是工作流的演进问题（evolution of workflow Schemas）,即创建、删除、修改工作流过程并使整个模型保持正确.被修改工作流过程的实例必须尽量与新的工作流过程保持一致.本文提出了一种支持工作流动态修改并完成实例自动迁移的工作流模型,并在此基础上定义了一系列修改操作原语及动态迁移策略语言.根据修改操作原语所涉及的任务节点的偏序关系生成变化区域,再根据变化区域自动生成相应的迁移策略,这样各工作流实例就可以按照迁移策略自动地实现迁移.     

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

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

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

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

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

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

迁移工作流中MI的迁移策略研究

迁移工作流是将移动agent计算模式应用于工作流管理的一项新技术。迁移实例(MI)、工作位置和迁移工作流管理引擎构成迁移工作流管理系统的三要素。其中,MI是以移动agent为计算范型构造的业务过程执行agent,它可以在工作位置之间移动并按照自身携带的工作流说明,就地利用服务执行一项或多项任务。MI的迁移策略是整个迁移工作流系统的核心问题之一。针对MI的服务定位问题,提出了一个分层结构的迁移工作流服务模式,在它对服务进行管理的同时也负责为MI导航;针对迁移目的地的选择问题在充分考虑了主机硬件可用度、主机资源以及迁移实例目标与主机提供服务的匹配程度的基础上,提出了包含静态和动态等要素在内的目的地主机可用度评估方法,用以确定MI的迁移目的地。最后,给出了实验过程描述和对结果的讨论分析。实验表明,分层结构的工作流服务组织形式以及目的地主机的可用评估方法,有效提高了系统效率。     

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

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

无线迁移工作流环境中程序按需移动

作为基于移动计算范型的迁移工作流研究的继续，建立一种无线迁移工作流环境中程序按需移动模型及其实现方法，以支持大型迁移工作流在资源受限移动设备上运行。首先给出了迁移工作流单元模型，它是支持无线环境下迁移工作流的基础，然后给出了迁移工作流按需移动系统架构，讨论了架构中各部分的功能，包括停靠站服务器和工作流管理机的实现机制，分析了通过反射对工作流单元的动态调整。实验表明，无线迁移工作流环境中程序按需移动模型合理，运行可靠，有效支持迁移工作流在无线环境中的应用。