基于进程代数的面向服务软件体系结构建模
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第1章 引言 | 第9-13页 |
| ·研究背景和意义 | 第9页 |
| ·研究现状和问题 | 第9-11页 |
| ·本文主要研究内容 | 第11-12页 |
| ·本文组织结构 | 第12-13页 |
| 第2章 研究基础 | 第13-23页 |
| ·软件体系结构 | 第13-16页 |
| ·软件体系结构定义 | 第13-14页 |
| ·体系结构形式化方法和描述语言 | 第14-16页 |
| ·服务相关技术 | 第16-20页 |
| ·组件 | 第17页 |
| ·可扩展标记语言(XML) | 第17-18页 |
| ·Web服务 | 第18-20页 |
| ·面向服务的软件体系结构(SOA) | 第20-22页 |
| ·SOA定义 | 第20-21页 |
| ·SOA基本特征及优点 | 第21-22页 |
| ·小结 | 第22-23页 |
| 第3章 PI演算基本理论 | 第23-33页 |
| ·引言 | 第23-24页 |
| ·Pi演算的基本语法 | 第24-26页 |
| ·名字与进程 | 第24-25页 |
| ·自由与约束的名字 | 第25-26页 |
| ·Pi演算的标签操作语义 | 第26-28页 |
| ·Pi演算的行为等价规则 | 第28-32页 |
| ·强互模拟和弱互模拟 | 第28-30页 |
| ·迟互模拟和早互模拟 | 第30-31页 |
| ·闭互模拟和开互模拟 | 第31-32页 |
| ·小结 | 第32-33页 |
| 第4章 基于PI演算的服务建模及属性描述 | 第33-47页 |
| ·服务建模 | 第33-39页 |
| ·服务定义 | 第33-34页 |
| ·服务模型 | 第34-39页 |
| ·Pi演算描述服务以及服务模型 | 第39-46页 |
| ·Pi演算描述服务 | 第40-41页 |
| ·Pi演算描述服务属性 | 第41-46页 |
| ·小结 | 第46-47页 |
| 第5章 基于PI演算的SOA建模研究 | 第47-67页 |
| ·SOA参考模型 | 第47-50页 |
| ·概述 | 第47-48页 |
| ·SOA-RM的组织结构 | 第48-49页 |
| ·SOA-RM的层次结构 | 第49-50页 |
| ·基于Pi演算的SOA建模 | 第50-63页 |
| ·SOA基本结构 | 第50-51页 |
| ·π ADL描述SOA模型结构 | 第51页 |
| ·服务(Service)规约 | 第51-54页 |
| ·连接件(Connector)规约 | 第54-56页 |
| ·配置(Configuration)规约 | 第56-63页 |
| ·SOA建模分析 | 第63-66页 |
| ·小结 | 第66-67页 |
| 第6章 SOA系统模型实例的分析与验证 | 第67-77页 |
| ·SOA模型实例研究 | 第67-73页 |
| ·SOA模型分析与验证 | 第73-76页 |
| ·移动工作台MWB | 第73-74页 |
| ·SOA系统实例的模型输入 | 第74-75页 |
| ·实例模型的分析与验证 | 第75-76页 |
| ·小结 | 第76-77页 |
| 第7章 总结 | 第77-79页 |
| ·论文内容总结 | 第77页 |
| ·将来的研究工作 | 第77-79页 |
| 参考文献 | 第79-83页 |
| 致谢 | 第83页 |
