动态软件体系结构形式化描述与应用
| 中文摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 1 绪论 | 第10-13页 |
| ·论文的研究背景与意义 | 第10-11页 |
| ·国内外研究现状 | 第11页 |
| ·本文研究内容 | 第11-12页 |
| ·本文组织结构 | 第12-13页 |
| 2 软件体系结构的基本概念 | 第13-19页 |
| ·软件体系结构的定义 | 第13-14页 |
| ·软件体系结构的元素 | 第14-18页 |
| ·构件 | 第14-16页 |
| ·连接件 | 第16-17页 |
| ·约束 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 3 软件体系结构的动态演化 | 第19-26页 |
| ·体系结构的动态演化 | 第19-20页 |
| ·动态软件体系结构的描述 | 第20-23页 |
| ·动态软件体系结构的实现 | 第23-24页 |
| ·动态变更机制 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 4 基于形式化方法的动态软件体系结构描述 | 第26-38页 |
| ·形式化方法 | 第26-28页 |
| ·Z 的体系描述 | 第28-30页 |
| ·构件的Z 体系描述 | 第28-29页 |
| ·连接件的Z 体系描述 | 第29页 |
| ·基于体系结构配置的Z 描述 | 第29-30页 |
| ·一种基于构件的Z-ADL 描述 | 第30-32页 |
| ·构件的Z-ADL 描述 | 第30页 |
| ·连接件Z-ADL 描述 | 第30-31页 |
| ·配置Z-ADL 描述 | 第31-32页 |
| ·基于UML 与形式化方法的描述 | 第32-37页 |
| ·UML 向Z 方式下的转换 | 第32页 |
| ·静态模型 | 第32-33页 |
| ·动态模型 | 第33-34页 |
| ·OCL 转换 | 第34-35页 |
| ·形式化证明 | 第35-37页 |
| ·本章小结 | 第37-38页 |
| 5 基于 CRM 动态软件体系结构设计 | 第38-46页 |
| ·系统概述 | 第38页 |
| ·CRM 体系结构构成 | 第38-42页 |
| ·CRM 体系结构图 | 第38-39页 |
| ·系统管理构件 | 第39-40页 |
| ·CRM 系统管理构件 | 第40页 |
| ·CRM 客户管理构件 | 第40-42页 |
| ·CRM 系统动态体系结构描述 | 第42-44页 |
| ·CRM 系统动态特性 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 6 工作总结和展望 | 第46-48页 |
| ·工作总结 | 第46-47页 |
| ·下一步工作展望 | 第47-48页 |
| 参考文献 | 第48-51页 |
| 致谢 | 第51-52页 |
| 攻读硕士学位期间发表的论文目录、科研情况 | 第52页 |
