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

摘要：在基于移动计算范型的迁移工作流系统犤1犦中,停靠站服务器是连接内部工作机与外部节点的桥梁。该文首先给出了停靠站服务器的基本结构及对应的功能,重点讨论了基于串并行子任务下的任务派遣机制,然后给出了迁移实例的排序实验。实验表明,停靠站服务器模型结构清晰合理,运行可靠,基于J2EE规范保证了系统能与其他基于Java环境的移动agent系统进行集成。

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

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

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

摘要：迁移实例作为一种分布式计算和移动计算的支撑技术,已得到了广泛的研究和应用。但由于迁移实例的迁移执行,引起了全新的安全问题:如何保护迁移过程中的迁移实例?如何保护迁移实例免受恶意主机的攻击?针对这些问题,对当前迁移工作流系统的安全问题进行了介绍,并使用基于零知识证明的安全认证机制来保证系统既可以快速、方便地运行,又可实现系统的安全使用。

摘要：在迁移工作流系统中,工作流服务分为自动服务和人工服务,服务节点也相应区分为固定节点和移动节点。当工作位置节点是移动节点时,任务列表就需要正确投递给工作位置,并交互完成任务可靠返回结果。针对这个需求,文中引入移动用户的概念。设计了服务中间件模块的体系结构,仿真结果显示此设计可以解决任务指派提交返回问题,从而使得迁移工作流对移动用户有了很好的支持,拓展了迁移工作流在无线网络中的研究领域。

摘要：针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(description logics,DLs)上,将宣称型(declarative)和过程型(procedural)2种类型的目标描述有机地整合在一起,从而构建了具有清晰语义与可判定性的形式化框架——目标描述逻辑(goal descriptionlogics,GDLs),在此基础上,定义了该框架下有关规划规则;建立了可用于判定目标一致性、目标可满足性的方法,与传统的目标描述方法相比,目标描述逻辑为主体领域模型提供了一种更有力的形式化工具,同时为智能主体的模型和设计提供了很好的理论工具。

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