主动服务-人机交互与媒体集成研究所.PDF

主动服务模型的形式化描述 主动服务模型的形式化描述 与求解方法研究 与求解方法研究 2006 年4月 目 录 目 录 一、研究背景与研究内容 一、研究背景与研究内容 二、主动服务模型的形式化描述 二、主动服务模型的形式化描述 三、主动服务的实现过程与关键技术 三、主动服务的实现过程与关键技术 1、资源的虚拟化与组织过程 1、资源的虚拟化与组织过程 2 、问题的描述与求解过程 2 、问题的描述与求解过程 3、服务的实例化与执行过程 3、服务的实例化与执行过程 四、主动服务模型的体系结构与相关协议 四、主动服务模型的体系结构与相关协议 一、研究背景 一、研究背景 1、网格技术的发展： 网络Web 网格：试图实现Internet上所有资源的互通和共享 2、服务网格的相关研究 Web服务成为广域环境下实现互操作的一种主要机制，有助于解决网格中 的应用集成、资源共享、系统互操作和标准化等问题。 已有的研究：OGSA，WSRF等 3、软件体系结构和构件技术的发展 构件技术的发展：粒度更大，功能级别的构件 软件体系结构研究：从软件实体本身更多地转向实体间的动态协同 4、用户需求的变化 用户应用需求的智能化、个性化和综合化的趋势， 前期的相关研究 互联网中主动服务模型的研究 －－立足于提高互联网应用的智能化程度，使其能够主动 适应用户需要和应用环境的变化。 1、互联网中主动服务的概念、模型与结构 2、主动服务的实现方法 3、实现原型系统 主动服务的 主动服务 实现方法 本地 人机接口 （Implementation of 构件资源库 （The Interface for Active Services ） Active Services ） （Warehouse ） 目 录 目 录 一、研究背景与研究内容 一、研究背景与研究内容 二、主动服务模型的形式化描述 二、主动服务模型的形式化描述 三、主动服务的实现过程与关键技术 三、主动服务的实现过程与关键技术 1、资源的虚拟化与组织过程 1、资源的虚拟化与组织过程 2 、问题的描述与求解过程 2 、问题的描述与求解过程 3、服务的实例化与执行过程 3、服务的实例化与执行过程 四、主动服务模型的体系结构与相关协议 四、主动服务模型的体系结构与相关协议 主动服务的形式化描述 主动服务的形式化描述 几个概念的引入和定义 几个概念的引入和定义 相互关系 形式化定义： 相互关系 形式化定义： 服务资源 服务构件子集 功能子集 功能集合 服务