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

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

VBE中基于迁移工作流的VO过程研究

结合VBE中VO业务过程和迁移工作流规范的系统架构,提出以VBE为联盟组织域的迁移工作流系统模型,给出了一种基于成员组织自治管理和服务市场招标相结合的服务发现模式,并对描述了基于迁移工作流的VO管理流程。该模型在VBE中实现VO的方式具有组建速度快、通信代价低、运行效率高和业务适用范围广等优点。     

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

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

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

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

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

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

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

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

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

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

无线迁移工作流环境中功能片动态装载机制

从无线迁移工作流环境中资源受限的移动设备特性出发,提出一种基于功能片的动态装载机制,以实现大型迁移工作流程序在移动设备上的不降级运行.首先,给出了动态装载单元的定义,包括功能片、说明文档和控制块.控制块确定了功能片的状态;其次,设计并实现了FU的动态装载方案,包括功能片的读入、处理、调度、执行和卸载几个部分;最后,设计并实现了一个移动酒店预订系统来验证其合理性.     

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

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

基于Shark的工作流日志迁移研究及其实现

工作流日志数据中可能记录着非常有价值的信息,它们对于流程优化和工作流挖掘具有重要意义.然而,传统工作流系统缺乏对工作流日志迁移的有效支持.基于对工作流日志数据的分析,提出了一种支持日志迁移的分布式工作流系统框架.该框架通过工作流实例数据与历史数据的分离,以实现工作流日志数据的分布式管理.基于开源工作流Shark,通过扩展WfMC相关接口,给出了该框架的实现方案.     

基于关系数据库的工作流服务器设计与实现

工作流服务器负责解释执行工作流定义。基于关系数据库构建工作流服务器,利用关系结构描述工作流数据模型,利用存储过程实现工作流业务逻辑,使工作流服务器和数据库服务器融为一体,不需开发专门的工作流定义语言和相应的语言解析器。和传统的工作流服务器相比,它是用位于服务器内部的存储过程处理工作流应用数据,而不是通过调用外部应用程序来处理,因此也简化了服务器接口实现。此工作流服务器由工作流引擎、消息管理子系统和目录服务子系统组成。     

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

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

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

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

基于Agent的移动计算环境下的柔性工作流模型

由于传统的工作流系统无法适应移动计算环境的要求,于是该文提出了基于Agent的柔性工作流模型,讨论了移动Agent的设计逻辑及工作机制,并从移动数据库的设计入手来分析移动计算环境下的工作流体系结构,结合原型系统MAFlow分析了柔性工作流的组织及运行机制,并着重研究了工作流的柔性设计及系统中的工作流引擎、任务管理服务器、角色库、同步服务器及异常处理服务器的工作原理。     

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

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

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

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

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

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