| 摘要 | 第1-8页 |
| Abstract | 第8-14页 |
| 第1章 引言 | 第14-25页 |
| ·研究背景 | 第14-16页 |
| ·服务计算及理论 | 第16-20页 |
| ·国内外相关研究 | 第20-21页 |
| ·论文的研究内容及意义 | 第21-23页 |
| ·论文的组织结构 | 第23-25页 |
| 第2章 基于过程网络的服务协同计算模型-CCM | 第25-41页 |
| ·相关研究-当前主流的服务计算方法 | 第25-30页 |
| ·服务组装模型 | 第25-27页 |
| ·服务组装描述语言 | 第27-30页 |
| ·服务组装工具 | 第30页 |
| ·过程网络模型 | 第30-34页 |
| ·KPN过程网络模型 | 第30-32页 |
| ·KPN过程网络模型的实际应用 | 第32-33页 |
| ·其他过程网络模型 | 第33-34页 |
| ·基于KPN的服务协同计算模型 | 第34-37页 |
| ·服务协同计算元模型 | 第34-35页 |
| ·基于KPN的服务协同计算模型(CCM) | 第35-36页 |
| ·CCM对 KPN的扩充 | 第36-37页 |
| ·CCM模型的服务交互规则 | 第37-40页 |
| ·控制流规则 | 第38-39页 |
| ·端口绑定规则 | 第39页 |
| ·变量绑定规则 | 第39-40页 |
| ·通道交易规则 | 第40页 |
| ·本章小结 | 第40-41页 |
| 第3章 CCM建模语言-CCML | 第41-59页 |
| ·CCML语言与其他服务组装语言的比较 | 第41-44页 |
| ·CCML语言的基本结构 | 第44-50页 |
| ·一个简单的例子 | 第44-47页 |
| ·CCML的基本结构 | 第47-50页 |
| ·CCML语言的基本语法 | 第50-52页 |
| ·CCML语言的控制结构 | 第52-53页 |
| ·CCML语言的操作语义 | 第53-58页 |
| ·标签转换系统(Labeled Transition System) | 第53页 |
| ·CCS进程代数 | 第53-54页 |
| ·CCML语言的操作语义 | 第54-58页 |
| ·本章小结 | 第58-59页 |
| 第4章 CCM应用系统模型的形式化验证 | 第59-69页 |
| ·CCML映射为CCS进程代数 | 第60-64页 |
| ·CCML基本元素映射为CCS表示 | 第60-61页 |
| ·CCML交互事件映射为CCS表示 | 第61-62页 |
| ·CCML控制结构映射为CCS表示 | 第62-63页 |
| ·CCML到CCS的映射规则 | 第63-64页 |
| ·CCM应用系统模型的形式化验证 | 第64-68页 |
| ·CCM应用系统模型的属性验证 | 第64-67页 |
| ·服务兼容性验证 | 第67-68页 |
| ·本章小结 | 第68-69页 |
| 第5章 CCM服务协同计算模型支持环境的设计与实现 | 第69-78页 |
| ·CCM服务协同计算模型支持环境的体系结构 | 第69-72页 |
| ·基于KPN的服务协同编排器 | 第70页 |
| ·CCML语言执行引擎 | 第70-71页 |
| ·服务发现引擎 | 第71-72页 |
| ·服务容器 | 第72页 |
| ·CCM服务协同计算模型支持环境开发中的关键问题 | 第72页 |
| ·CCM服务协同计算模型支持环境的实现 | 第72-77页 |
| ·基于KPN的服务协同编排器的设计与实现 | 第73-74页 |
| ·服务交互APIs的Java实现 | 第74-77页 |
| ·本章小结 | 第77-78页 |
| 第6章 CCM服务协同计算模型在车辆维修管理系统中的应用 | 第78-103页 |
| ·车辆维修管理系统实例 | 第78-80页 |
| ·车辆维修管理系统的CCML语言描述 | 第80-92页 |
| ·车辆维修管理系统的CCML描述映射为CCS描述 | 第92-96页 |
| ·车辆维修管理系统的形式化验证 | 第96-102页 |
| ·车辆维修管理系统的属性验证 | 第96-100页 |
| ·车辆维修管理系统的服务兼容性验证 | 第100-102页 |
| ·本章小结 | 第102-103页 |
| 第7章 结论 | 第103-106页 |
| ·结论 | 第103-104页 |
| ·进一步的工作 | 第104-106页 |
| 参考文献 | 第106-116页 |
| 攻读学位期间公开发表的论文 | 第116-119页 |
| 攻读学位期间参加的主要项目 | 第119-120页 |
| 致谢 | 第120-121页 |
| 研究生履历 | 第121页 |
