软件体系结构形式描述研究
| 摘要 | 第1-7页 |
| 目录 | 第7-11页 |
| 图表索引 | 第11-13页 |
| 第一章 引言 | 第13-23页 |
| ·软件开发过程 | 第13页 |
| ·形式化方法 | 第13-16页 |
| ·形式化方法在软件开发过程中的应用 | 第16-18页 |
| ·本文目标与贡献 | 第18-21页 |
| ·本文组织 | 第21-23页 |
| 第二章 软件体系结构研究领域 | 第23-35页 |
| ·什么是软件体系结构 | 第23-25页 |
| ·软件体系结构研究范畴 | 第25-33页 |
| ·模型与视图 | 第26-27页 |
| ·描述语言 | 第27-29页 |
| ·体系结构风格 | 第29-32页 |
| ·软件体系结构的形式化研究 | 第32-33页 |
| ·软件体系结构研究现状 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第三章 XYZ系统介绍 | 第35-49页 |
| ·XYZ系统概述 | 第35-38页 |
| ·线性时序逻辑简介 | 第38-41页 |
| ·XYZ／E介绍 | 第41-47页 |
| ·条件元和单元 | 第41-42页 |
| ·XYZ／E程序框架 | 第42-43页 |
| ·选择语句与并行语句 | 第43页 |
| ·通信命令 | 第43-45页 |
| ·本文用到的语言成分说明 | 第45-46页 |
| ·单元求精关系定义 | 第46-47页 |
| ·本章小结 | 第47-49页 |
| 第四章 XYZ／ADL基本框架 | 第49-71页 |
| ·XYZ／ADL描述框架概述 | 第49-51页 |
| ·XYZ／ADL的体系结构基本概念 | 第51-55页 |
| ·体系结构框图表示 | 第55-56页 |
| ·XYZ／ADL形式化文本语法及语义 | 第56-69页 |
| ·简单组件 | 第56-59页 |
| ·连接件 | 第59-61页 |
| ·复合组件 | 第61-63页 |
| ·体系结构风格 | 第63-65页 |
| ·一个例子 | 第65-69页 |
| ·XYZ系统中原有相关工作比较 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 第五章 XYZ／ADL行为描述 | 第71-101页 |
| ·体系结构行为描述概述 | 第71-72页 |
| ·UML活动图的XYZ／E语义 | 第72-81页 |
| ·UML活动图简介 | 第73-74页 |
| ·XYZ活动图 | 第74-76页 |
| ·语义定义 | 第76-78页 |
| ·一个例子 | 第78-81页 |
| ·状态图的XYZ／E语义 | 第81-100页 |
| ·状态图简介 | 第81-83页 |
| ·状态图抽象语法 | 第83-87页 |
| ·语义定义 | 第87-96页 |
| ·一个例子 | 第96-98页 |
| ·讨论 | 第98-100页 |
| ·本章小结 | 第100-101页 |
| 第六章 实例研究 | 第101-113页 |
| ·问题描述 | 第101-102页 |
| ·系统总体布局 | 第102-104页 |
| ·各组件与连接件的描述 | 第104-110页 |
| ·本章小结 | 第110-113页 |
| 第七章 相关工作 | 第113-117页 |
| ·关于体系结构描述语言 | 第113-115页 |
| ·关于UML语义研究 | 第115-116页 |
| ·本章小结 | 第116-117页 |
| 第八章 总结 | 第117-121页 |
| ·本文工作回顾 | 第117-118页 |
| ·本文贡献小结 | 第118-120页 |
| ·进一步工作 | 第120-121页 |
| 参考文献 | 第121-130页 |
| 攻读博士学位期间发表和录用的文章 | 第130-131页 |
| 致谢 | 第131-132页 |
