| 摘要 | 第1-8页 |
| Abstract | 第8-13页 |
| 第一章 绪论 | 第13-19页 |
| ·研究背景 | 第13-14页 |
| ·研究的内容及贡献 | 第14-18页 |
| ·Web软件开发的软件体系结构模式问题 | 第15-16页 |
| ·组合服务的验证问题 | 第16页 |
| ·服务的发现问题 | 第16-17页 |
| ·基于面向服务软件体系结构的模型演化问题 | 第17页 |
| ·面向服务的软件开发技术应用问题 | 第17-18页 |
| ·本文组织安排 | 第18-19页 |
| 第二章 相关技术概述 | 第19-28页 |
| ·形式方法概述 | 第19-22页 |
| ·形式方法的发展 | 第19-20页 |
| ·形式方法的定义 | 第20页 |
| ·形式方法的研究内容 | 第20-22页 |
| ·形式方法的分类 | 第22页 |
| ·模式的定义及分类 | 第22-24页 |
| ·模式的定义 | 第22-23页 |
| ·模式的类别 | 第23-24页 |
| ·面向服务的体系结构模式 | 第24-26页 |
| ·SOA的定义 | 第24-25页 |
| ·SOA的特征 | 第25-26页 |
| ·模型驱动的体系结构 | 第26-28页 |
| 第三章 形式化面向服务软件体系结构风格及分析 | 第28-45页 |
| ·相关研究 | 第28-30页 |
| ·形式规格说明语言-Z | 第30-32页 |
| ·Z语言概述 | 第30页 |
| ·Z的组成 | 第30-32页 |
| ·面向服务的软件体系结构风格建模 | 第32-35页 |
| ·服务构件模型 | 第33页 |
| ·服务连接器模型 | 第33-34页 |
| ·系统配置模型 | 第34页 |
| ·初始化配置模型 | 第34-35页 |
| ·行为模型 | 第35-36页 |
| ·匹配和组合模型 | 第36-38页 |
| ·匹配 | 第36-37页 |
| ·组合 | 第37-38页 |
| ·分析 | 第38-39页 |
| ·端口替换性分析 | 第38-39页 |
| ·服务构件替换性分析 | 第39页 |
| ·一个应用实例 | 第39-44页 |
| ·小结 | 第44-45页 |
| 第四章 基于模型检测的Web服务组合验证 | 第45-54页 |
| ·SMV模型检测工具介绍 | 第45-47页 |
| ·基于标签有限自动机的Web服务行为模型 | 第47-49页 |
| ·组合Web服务验证 | 第49-52页 |
| ·基于模型验证组合Web服务的框架结构 | 第52页 |
| ·小结 | 第52-54页 |
| 第五章 基于形式本体的服务发现研究 | 第54-66页 |
| ·相关研究 | 第54-56页 |
| ·本体及其创建 | 第56-59页 |
| ·本体 | 第56-58页 |
| ·本体的创建 | 第58-59页 |
| ·相似性和相关性范畴 | 第59-61页 |
| ·基于本体的服务查询方法 | 第61-63页 |
| ·转换查询为RDF查询 | 第61-62页 |
| ·查询求精和查询过程 | 第62-63页 |
| ·系统实现 | 第63-65页 |
| ·小结 | 第65-66页 |
| 第六章 基于角色的设计模式形式建模及演化 | 第66-93页 |
| ·GOF设计模式概述 | 第66-68页 |
| ·形式规格说明语言Object-Z | 第68-70页 |
| ·基于面向对象设计原则的设计模式选择 | 第70-76页 |
| ·面向对象的设计原则 | 第74-75页 |
| ·基于面向对象设计原则重构软件的设计过程 | 第75-76页 |
| ·基于角色的设计模式形式建模 | 第76-82页 |
| ·问题的提出 | 第76-78页 |
| ·角色元模型 | 第78页 |
| ·角色概念的形式化定义 | 第78-80页 |
| ·设计模式形式化实例 | 第80-82页 |
| ·设计模式演化及一致性验证 | 第82-91页 |
| ·角色层演化 | 第82-84页 |
| ·模式层演化 | 第84-88页 |
| ·模式演化过程 | 第88页 |
| ·一致性验证 | 第88-91页 |
| ·小结 | 第91-93页 |
| 第七章 一个面向服务的WEb软件开发实例 | 第93-106页 |
| ·系统概述 | 第93-94页 |
| ·系统设计 | 第94-97页 |
| ·系统中用到的设计模式 | 第97-105页 |
| ·MVC设计模式 | 第97页 |
| ·利用工厂模式控制业务对象的创建 | 第97-98页 |
| ·利用单态模式控制对系统资源的访问 | 第98-100页 |
| ·利用Java对迭代子模式的支持实现查询结果的显示 | 第100-102页 |
| ·主题监测与观察者模式 | 第102-105页 |
| ·小结 | 第105-106页 |
| 第八章 总结与展望 | 第106-109页 |
| ·本文主要贡献 | 第106-107页 |
| ·进一步的研究工作 | 第107-109页 |
| 参考文献 | 第109-115页 |
| 作者在攻读博士学位期间发表的论文 | 第115-116页 |
| 作者在攻读博士学位期间所参与的项目 | 第116-117页 |
| 致谢 | 第117-118页 |
| 附录1: 基于ONTOLOGY的搜索引擎实现代码 | 第118-131页 |
| 附录2: 面向服务的论坛系统源代码 | 第131-136页 |