网络计算环境中的协调技术分析-analysis of coordination technology in network computing environment.docx

上海交通大学博士论文 上海交通大学博士论文 网络计算环境中的协调技术研究 摘要 -I- -I- 摘 要 随着网络基础设施尤其是 Internet 的迅速发展 网络计算已成为一种新的计算范型 网 络计算环境可以看作诸多交互合作的程序 工具 客户端 智能代理等计算体的集合 目前 还缺乏有效的支持这些计算体交互合作的方法学和技术 这种不足造成了网络计算环境中的 应用开发 维护的复杂性 在一定程度上也使网络上的应用滞后网络基础设施的发展 计算机科学中的协调技术是为解决大规模的并行/分布问题而出现的 是近几年的重要 研究领域 为解决网络计算环境中的交互合作问题带来了希望 数据驱动协调技术是协调技 术的一个分支 计算体间的通信基于共享数据空间 通信信息同计算体的活动历史是相互独 立的 从而实现了计算体间在空间和时间上的分离 是一种潜在的很适合网络计算环境的协 调技术 但是有很多待解决问题 表现在 协调语言不完善 缺乏安全机制 计算体在协调 介质中的行为没有约束 缺乏形式化基础 共享数据空间在可扩展性上有所欠缺 缺乏支持 可信任协调的机制 本文从这些待解决问题入手 提出了一个较完善的网络计算环境下的数据驱动协调技术 ASIKSecure InterlinK Architecture 安全互连结构 具体做了以下几个方面的研究工作 A ? 提出了 SIKA 协调模型和语言 SIKA 协调模型在共享数据空间的基础上 增加了 安全机制和数据转换机制 安全机制用于强制协调过程与协调策略一致 数据转换 机制基于化学抽象机原理 用于增强共享数据空间的灵活性和可控性 同时提出了 一种较完善的协调语言 SIKA_L 可以较完整地描述协调策略 有利于软件工程 的实施 ? 研究了 SIKA 协调语言/模型的形式基础 用类型系统描述 SIKA_L 的静态语义 将 上下文位置/变迁网扩展为一种高级佩特利网 上下文有色佩特利网 用于描述 SIKA_L 的动态语义 为用佩特利网的相关技术和工具来验证和仿真协调策略打下 了基础 由于数据驱动协调技术的共性 上下文有色佩特利网的提出也对网络计算 环境下协调技术研究具有普遍意义 ? 研究了 SIKA 的物理模型和虚拟机实现 根据网络计算环境对可扩展性和安全性的 要求 设计了一种分布式虚拟机体系结构和有关的安全交互协议 上下文有色佩特 利网作为一种抽象机 为 SIKA 虚拟机的运行机制提供了一个形式规范 同时 SIKA 虚拟机中引入了一种事件触发机制来提高工作效率 定义了相关的编译方案来将协 调策略编译成与平台无关的字节码 由 SIKA 虚拟机解释运行 ? 对网络计算环境中的可扩展共享数据空间做了一定研究 在相关研究的基础上 提 出了一种在动态节点结构上的共享数据空间的分布式实现 对提高网络计算环境中 协调设施的可扩展性具有重要意义 ? 做了可信任协调方面的研究 根据网络计算环境的特点 用相关的密码学技术设计 了一种强可分离的群签名方案 以此来增强协调信息的可信任度 同时也确保在 Agent 没有争议行为的情况下不会破坏其匿名性 ? 本文还在最后探讨了网络计算环境中的两个较典型应用 电子商务和电子会议 展 示了 SIKA 协调设施的应用前景 关键词 协调技术 网络计算环境 佩特利网 虚拟机 元组空间 群签名 上海交通大学博士论文 上海交通大学博士论文 网络计算环境中的协调技术研究 Abstract -II- -II- Abstract Network computing is a new computing paradigm emerging with the rapid development of network infrastructure, especially Internet. Network computing environments (NCEs) can be envisioned as collections of interactive and cooperative computing components, such as programs, tools, clients, and intelligent agents. Currently there is a lack of efficient methodology and technology to support these computing components to interact and cooperate. So it is complex to develop and maintain applications in NCEs. It is also a factor to make the network