面向软件服务的适用性检查

论文摘要

面临市场竞争压力，企业亟需按资源优势互补的原则，动态组建企业联盟，以便通过敏捷地应答市场的需求和变化，赢得竞争。虚拟组织(VO，Virtual Organization)工作于Internet环境，可将时空上分布、但能力和资源上互补的企事业(或个人)动态组合在一起而不必配置公有资源，并在使命完成时自动解体。VO从而有希望发展成为实现资源共享和协同问题求解的主流方式。随着面向服务的构架(SOA)逐渐得到IT业(尤其软件业)的广泛支持，以自治计算元素(Ace)构建的服务联邦／服务市场方式正在成为VO开发和运作的主流。Ace各自追求私有(本地)目标，但仍然可以信任它们能够协同完成期望的全局(整体)目标。这就是实现VO时面临的“自治”和“可信”需求相互冲突的二难困境。解决的关键在于建立合理的宏观调控机制。本文在原有的管控Agents社交行为的基础结构的基础上对研究新的模型—调控、策略驱动的服务协同式自治计算模型。首先介绍管控Agents社交行为的基础结构，然后对新的模型进行建模，其中重点介绍了面向服务的适用性检查。最后以宾馆接待作为测试例，对服务适用性检查进行验证，给出了评价。

论文目录

• 摘要
• Abstract
• 第1章 绪论
• 1.1 课题背景
• 1.2 我们的研究工作
• 1.3 论文的主要内容
• 1.4 论文总体结构
• 第2章 多 Agent 技术及其在自治计算中的应用
• 2.1 Agent 与软件 Agent（SA）的概念
• 2.2 多 Agent（Mutil-Agent）系统
• 2.3 多 Agent（MA）在自治计算中的应用
• 2.4 本章小结
• 第3章 管控 Agents 社交行为的基础结构
• 3.1 总体架构
• 3.2 运行环境架构
• 3.2.1 运行环境的宏观架构
• 3.2.2 运行环境的微观架构
• 3.3 本体论
• 3.3.1 概念的表示
• 3.3.2 领域本体论描述
• 3.4 通信机制简要介绍
• 3.4.1 通信简要流程
• 3.4.2 消息格式定义
• 3.5 本章小结
• 第4章 准则调控政策驱动的自治式服务计算模型
• 4.1 E-机构的提出
• 4.2 准则调控自治式自主计算模型的架构
• 4.3 新模型的定义
• 4.3.1 业务角色结构（Business Role Structure）
• 4.3.2 分布业务结构（Distributed Business Structure）
• 4.4 本章小结
• 第5章 面向软件服务的适用性检查
• 5.1 软件服务概述
• 5.1.1 Web Service技术
• 5.1.2 软件服务的概念
• 5.1.3 软件服务的分类及签约服务
• 5.2 E-机构下的服务与协作
• 5.2.1 中介 agent 与服务提供政策
• 5.2.2 Web接口与服务寻求政策
• 5.2.3 签约服务以及签约参数
• 5.2.4 典型协作过程
• 5.3 适用性检查的方法
• 5.3.1 概述
• 5.3.2 CPA模板匹配─初步适用性
• 5.3.3 约束相容匹配─业务细节的适用性
• 5.3.4 适用情景相容匹配─FacetDescription概念
• 5.3.5 适用度的计算与使用
• 5.4 适用性检查算法的实现
• 5.4.1 适用情景相容匹配的实现
• 5.4.2 约束相容匹配的实现
• 5.5 适用性检查的小结
• 5.6 本章小结
• 第6章 系统实例测试
• 6.1 测试的意义
• 6.2 系统测试实例
• 6.2.1 实例介绍
• 6.2.2 实例设计
• 6.3 测试过程
• 6.4 本章小结
• 第7章 总结和展望
• 参考文献
• 致谢