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

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

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

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

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

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

迁移工作流系统模型及框架

目前工作流管理系统在应用过程中普遍存在着建模过程很难完整正确描述业务过程和当具体的业务过程发生很小的变化时,工作流流程定义需要相应的改动等情况,针对这种情况,通过对基于移动agent的工作流管理系统的研究基础上,提出了迁移工作流的系统模型及相关概念,并构建了迁移工作流系统框架,通过迁移工作流的相关特性解决上述问题。     

基于Java的迁移工作流管理系统原型的实现研究*

迁移工作流范型是近年来工作流研究的新方向。根据迁移工作流管理系统框架,以移动Agent技术为基础,采用Java为开发语言,开发了迁移工作流管理系统原型Migflow。描述了Migflow的内部结构,给出了实现方案,并对迁移实例的任务调度和迁移等关键问题进行了详细的讨论。     

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

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

迁移工作流系统模型及框架

目前工作流管理系统在应用过程中普遍存在着建模过程很难完整正确描述业务过程和当具体的业务过程发生很小的变化时,工作流流程定义需要相应的改动等情况,针对这种情况,通过对基于移动agent的工作流管理系统的研究基础上,提出了迁移工作流的系统模型及相关概念,并构建了迁移工作流系统框架,通过迁移工作流的相关特性解决上述问题.     

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

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

迁移工作流系统中的自适应信任模型

文中针对迁移工作流系统中信任关系不断变化的特点，提出了一个动态的，分级别的自适应信任模型。模型一方面用来确定迁移实例的迁移位置，解决了实例迁移过程中常见的串联现象；另一方面解决了停靠站中资源的分层次访问控制问题。     

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

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

基于免疫算法的迁移工作流实例安全工作位置选择

在迁移工作流系统中迁移实例的安全和路线规划对于工作流目标的完成起着至关重要的作用。提出一种基于免疫算法的迁移策略,该方法借鉴生物免疫系统的特性,将迁移实例的需求以及安全要求编码为抗原,将工作位置的服务信息以及安全性能编码为抗体,模拟免疫系统的匹配过程从而动态的得到迁移路线。该方法不仅考虑迁移实例的任务需求,而且对迁移实例的需求信息划分安全等级,考虑工作位置的安全性,从而为迁移实例得到一个相对安全的迁移目标。仿真实验表明,该算法有效的避开了恶意主机,使迁移实例的被攻击率大大降低,保护了迁移实例的安全。     

迁移实例的事件管理研究

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

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

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

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

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

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

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

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

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

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

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

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

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

基于Pass和Visa的迁移实例认证研究

在迁移工作流管理系统中,迁移实例的移动性导致了身份认证和访问控制的复杂性。该文给出一种基于Pass和Visa的迁移实例认证和访问控制模型,模型采用迁移实例拥有者为其颁发护照、接收者为其签证的双重签名策略。接收者通过对迁移实例携带护照和签证的认证,可以有效识别迁移实例的身份并对其实施访问控制。迁移实例拥有者可根据Visa证书链有效追踪迁移实例的移动历史。