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

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

迁移工作流系统中的迁移域组织与动态迁移实例寻址研究

该文将安全性和高效性原则应用到迁移工作流的迁移决策中。首先,用确定静态迁移域的方法来保证迁移实例不会迁移到恶意工作位置中。然后在迁移域的范围内,对各工作位置进行信任评价,使迁移实例迁移到满足其工作流服务要求的最佳的工作位置中运行,保证了系统运行的高效性。该文讨论了迁移实例的迁移决策问题,包括对静态迁移域的组织,迁移域中工作位置的可量化的信任关系评价,以及基于信任评价的动态迁移寻址。     

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

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

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

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

迁移工作流中的目标规划研究

迁移工作流在发布工作流服务需求之前,需要对工作流目标进行规划.本文提出了一种目标规划的结构模型,给出了一种目标任务规划方法.将目标分解,形成"与/或"任务网络,并建立了子目标之间的时序关系,为进一步探讨迁移工作流目标分解提出了可行的技术路线.     

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

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

一种处理工作流动态变更的有效方法

本文探讨了一种处理工作流动态变更的方法.首先介绍了几种常见的处理工作流变更的方法.然后提出了一种工作流实例迁移算法.算法根据工作流实例迁移后有向边的值来确定该实例能否正确迁移.最后给出了一个实例以验证算法的有效性.     

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

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

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

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

一种用于迁移工作流管理系统的消息服务框架

作为移动计算的一类应用,现有的迁移工作流模型遵守了按照移动agent范型构造迁移实例的方法。由于移动agent继承智能agent的基本属性,因此,上述方法往往导致迁移实例的代码臃肿和移动困难。考虑到实际上的迁移工作流管理系统,一般地都要求迁移实例工作于一个具有信任合约关系的环境中,因此,可以针对这种特定环境,令工作位置为迁移实例提供尽可能多的服务支持,以便减小迁移实例的代码体积,提高其迁移效率,而不必拘泥于移动agent范型。该文给出了一种嵌入工作位置服务器的消息服务框架,该消息服务框架可以有效降低迁移实例代码规模,实现其轻量化移动。     

基于任务片的旅行图生成算法研究

在迁移工作流模型中,迁移实例是工作流的执行主体,它可以在旅行图规定的工作位置之间连续迁移并利用位置服务完成一项或多项任务。给出一种基于任务片的旅行图生成算法,任务片是指可以在同一个工作位置上连续执行的任务序列。按照任务片组织旅行图,不仅有利于保证业务过程的执行语义,而且可以通过减少迁移次数,降低移动故障和移动安全导致的风险。     

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

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

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

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

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

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

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

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

无线迁移工作流按需移动中停靠站缓存管理机制

作为基于移动计算范型迁移工作流研究的继续,在无线迁移工作流按需移动中建立工作流单元在停靠站服务器中的存储模型和方法,在移动设备主动或被动地处于断接,即没有网络连接的状态下,有效利用缓存中的工作流单元,以支持大型工作流程序在资源受限的移动设备上更有效地运行。在缓存管理中,引入了分代算法。针对more-relied代和less-relied代中工作流单元的不同特点,采取不同的分配方法和垃圾收回算法,以提高分配效率,在很大程度上避免内存垃圾回收算法带来的长“停顿”。实验表明,无线迁移工作流按需移动中停靠站缓存管理机制模型合理,有效支持迁移工作流在无线环境中的应用。