基于形式化方法的构件行为分析与演化研究
| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-12页 |
| ·研究动因 | 第8-10页 |
| ·选题依据 | 第10页 |
| ·论文研究内容 | 第10页 |
| ·论文组织结构 | 第10-12页 |
| 第二章 相关理论与技术 | 第12-21页 |
| ·软件演化 | 第12-14页 |
| ·软件演化的概念 | 第12页 |
| ·软件演化的分类 | 第12-13页 |
| ·基于构件的软件演化 | 第13-14页 |
| ·软件构件 | 第14-15页 |
| ·构件的概念 | 第14-15页 |
| ·构件的基本特征 | 第15页 |
| ·构件技术 | 第15-19页 |
| ·构件模型 | 第15-17页 |
| ·构件形式化方法 | 第17页 |
| ·构件的组装机制 | 第17-18页 |
| ·构件的接口 | 第18-19页 |
| ·构件的配置 | 第19页 |
| ·本章小结 | 第19-21页 |
| 第三章 构件行为相关性分析 | 第21-34页 |
| ·构件与构件的接口 | 第21-23页 |
| ·构件的概念 | 第21-22页 |
| ·构件接口及其相关概念 | 第22-23页 |
| ·构件的行为模型及其相关矩阵 | 第23-28页 |
| ·构件的行为模型 | 第23-25页 |
| ·构件行为特征矩阵及构件相关矩阵 | 第25-28页 |
| ·构件的行为相关性分析 | 第28-33页 |
| ·构件的合成 | 第28-29页 |
| ·构件的行为相关性 | 第29-33页 |
| ·本章小结 | 第33-34页 |
| 第四章 构件的可演化性分析研究 | 第34-49页 |
| ·软件系统、构件的可演化性 | 第34-35页 |
| ·系统的活性和公平性 | 第35-45页 |
| ·系统的活性 | 第36-39页 |
| ·系统的公平性 | 第39-45页 |
| ·构件的可添加性 | 第45-46页 |
| ·构件的可删除性 | 第46-47页 |
| ·构件的可替换性 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 第五章 总结与展望 | 第49-51页 |
| ·论文总结 | 第49页 |
| ·下一步工作 | 第49-51页 |
| 参考文献 | 第51-55页 |
| 攻读硕士期间发表的论文 | 第55-56页 |
| 致谢 | 第56页 |
