服务计算中接口模型与构件设计的研究
| 摘要 | 第1-14页 |
| ABSTRACT | 第14-17页 |
| 第一章 绪论 | 第17-41页 |
| ·背景 | 第17-22页 |
| ·服务的概念 | 第18页 |
| ·面向服务的体系结构 | 第18-20页 |
| ·Web 服务框架 | 第20-21页 |
| ·SOC 与软件工程 | 第21-22页 |
| ·研究问题与方法 | 第22-26页 |
| ·研究问题 | 第22-24页 |
| ·研究方法 | 第24-26页 |
| ·相关研究工作 | 第26-36页 |
| ·服务的形式化模型 | 第26-31页 |
| ·服务的形式化分析与验证 | 第31-35页 |
| ·面向服务的设计与开发 | 第35-36页 |
| ·论文主要工作 | 第36-38页 |
| ·论文结构 | 第38-41页 |
| 第二章 建模理论及验证方法 | 第41-65页 |
| ·引言 | 第41页 |
| ·Web 服务接口模型 | 第41-44页 |
| ·Signature 接口 | 第42页 |
| ·Consistency 接口 | 第42-43页 |
| ·Protocol 接口 | 第43-44页 |
| ·统一程序理论 | 第44-50页 |
| ·关系演算 | 第45-47页 |
| ·设计演算 | 第47-48页 |
| ·面向对象的精化演算 | 第48-50页 |
| ·CSP 和cCSP | 第50-59页 |
| ·CSP 语法及语义 | 第50-57页 |
| ·cCSP 语法及语义 | 第57-59页 |
| ·形式化验证方法 | 第59-63页 |
| ·模型检验 | 第60-63页 |
| ·小结 | 第63-65页 |
| 第三章 具备长事务特征服务的接口模型 | 第65-95页 |
| ·引言 | 第65-68页 |
| ·扁平长事务模型 | 第65-67页 |
| ·案例 | 第67页 |
| ·基本假设 | 第67-68页 |
| ·本章组织结构 | 第68页 |
| ·特征接口 | 第68-71页 |
| ·会话接口 | 第71-75页 |
| ·协议接口 | 第75-87页 |
| ·协议接口语义 | 第78-86页 |
| ·协议接口精化 | 第86-87页 |
| ·接口性质规约及验证 | 第87-92页 |
| ·小结 | 第92-95页 |
| 第四章 扩展协议接口及其应用 | 第95-127页 |
| ·引言 | 第95-96页 |
| ·支持嵌套及可定制错误处理的长事务模型 | 第96页 |
| ·本章组织结构 | 第96页 |
| ·支持嵌套及可定制错误处理的扩展协议接口 | 第96-105页 |
| ·扩展协议接口语义 | 第99-105页 |
| ·从BPEL 程序中提取扩展协议接口 | 第105-116页 |
| ·BPEL 介绍 | 第105-106页 |
| ·BPEL 语法及假设 | 第106页 |
| ·提取方法 | 第106-116页 |
| ·基于模型检验的扩展协议接口验证 | 第116-119页 |
| ·验证方法 | 第117-118页 |
| ·验证过程 | 第118-119页 |
| ·实例研究 | 第119-126页 |
| ·实例1 | 第120-121页 |
| ·实例2 | 第121-126页 |
| ·小结 | 第126-127页 |
| 第五章 支持基于补偿的失败恢复机制的构件模型 | 第127-153页 |
| ·引言 | 第127-129页 |
| ·基本思想和假设 | 第128-129页 |
| ·本章组织结构 | 第129页 |
| ·反应式异常设计 | 第129-131页 |
| ·支持异常行为规约的接口契约 | 第131-136页 |
| ·支持补偿恢复机制的服务构件 | 第136-141页 |
| ·实现语言及语义 | 第136-140页 |
| ·服务构件语义 | 第140-141页 |
| ·支持后向恢复长事务的进程构件 | 第141-150页 |
| ·小结 | 第150-153页 |
| 第六章 服务构件的设计方法 | 第153-181页 |
| ·引言 | 第153-156页 |
| ·案例 | 第154-155页 |
| ·基本定义 | 第155-156页 |
| ·本章组织结构 | 第156页 |
| ·需求建模及分析 | 第156-164页 |
| ·用例描述 | 第156-157页 |
| ·模型 | 第157-163页 |
| ·分析与验证 | 第163-164页 |
| ·讨论 | 第164页 |
| ·基于精化的功能设计 | 第164-172页 |
| ·精化方法 | 第164-166页 |
| ·实例 | 第166-170页 |
| ·讨论 | 第170-172页 |
| ·逻辑构件设计 | 第172-176页 |
| ·实例 | 第173-175页 |
| ·讨论 | 第175-176页 |
| ·详细设计 | 第176-179页 |
| ·服务构件的精化和重构 | 第176页 |
| ·平台相关的构件结构设计 | 第176-177页 |
| ·验证和分析 | 第177-179页 |
| ·小结 | 第179-181页 |
| 第七章 工具设计及实现 | 第181-203页 |
| ·引言 | 第181页 |
| ·本章组织结构 | 第181页 |
| ·接口验证工具 | 第181-186页 |
| ·体系结构 | 第181-182页 |
| ·设计模型 | 第182-185页 |
| ·具体实现 | 第185-186页 |
| ·服务构件设计工具 | 第186-200页 |
| ·体系结构 | 第186-188页 |
| ·模型的 UML Profile | 第188-191页 |
| ·具体实现 | 第191-200页 |
| ·小结 | 第200-203页 |
| 第八章 结束语 | 第203-207页 |
| ·本文的主要贡献 | 第203-204页 |
| ·进一步的工作 | 第204-207页 |
| 致谢 | 第207-211页 |
| 参考文献 | 第211-226页 |
| 攻读博士期间取得的学术成果 | 第226-228页 |
| 攻读博士期间参加的科研项目 | 第228-229页 |
| 附录A 第 3 章相关定理和推论的证明 | 第229-234页 |
| 附录B 第 5 章相关定理和推论的证明 | 第234-238页 |
