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

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

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

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

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

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

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

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

轻量级迁移实例的实现

给出了一种通过将迁移实例的消息处理功能和迁移寻址功能配置为可信工作位置的服务，从而实现迁移实例轻量化的方法，并讨论基于任务状态转移图和ECA规则的轻量级迁移实例的任务执行机制。     

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

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

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

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

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

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

迁移工作流系统中位置服务体系结构的研究与设计

将位置对迁移实例（MI）的服务区分为迁移实例服务和工作流服务，基于多线程设计了一种支持两类服务的体系结构，不仅有效地提高了位置服务的效率，同时增强了位置服务的可扩展性。     

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

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

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

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

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

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

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

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

一个基于同步器扩充的迁移工作流系统模型

通过对迁移工作流系统模型各要素进行分析,构建了一个基于Petri 网的迁移工作流系统模型。模型以同步器为库所,并在此上扩充了位置概念和资源与服务能力,适应了迁移环境下的变迁点火规则,动态地将迁移工作流系统中的任务集在迁移环境中得以体现,较好地模拟了迁移工作流系统整个运行过程。     

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

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

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

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