| 摘要 | 第1-5页 |
| ABSTRACT | 第5-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-13页 |
| ·研究背景与意义 | 第8-9页 |
| ·国内外研究水平与现状 | 第9-11页 |
| ·软件演化 | 第9-10页 |
| ·图变换技术 | 第10-11页 |
| ·研究内容 | 第11-12页 |
| ·论文的组织 | 第12-13页 |
| 第二章 基于带属性类型图的软件模型描述 | 第13-19页 |
| ·带属性类型图定义 | 第13-14页 |
| ·基于ATG的软件模型描述 | 第14-15页 |
| ·软件模型的谓词表达形式 | 第15-16页 |
| ·ATG模型与谓词描述的对应关系 | 第16-18页 |
| ·本章小结 | 第18-19页 |
| 第三章 基于逻辑的软件演化操作语言 SEOL | 第19-30页 |
| ·SEOL的基本概念 | 第19-21页 |
| ·SEOL的语法规则 | 第19-20页 |
| ·SEOL表达式 | 第20-21页 |
| ·SEOL的处理机制 | 第21-24页 |
| ·合一算法 | 第21页 |
| ·SEOL执行流程 | 第21-23页 |
| ·SEOL调度机制 | 第23-24页 |
| ·基于SEOL的软件演化 | 第24-28页 |
| ·基本演化操作定义 | 第25-27页 |
| ·复杂演化操作定义 | 第27-28页 |
| ·本章小结 | 第28-30页 |
| 第四章 基于 SEOL的软件演化执行引擎设计与实现 | 第30-45页 |
| ·SEOL执行引擎设计 | 第30-32页 |
| ·演化引擎系统设计目标 | 第30页 |
| ·演化引擎系统结构 | 第30-32页 |
| ·演化引擎功能模块设计 | 第32页 |
| ·工具开发及相关技术 | 第32-36页 |
| ·Eclipse插件开发技术 | 第32-34页 |
| ·DOM技术 | 第34-36页 |
| ·SEOL执行引擎实现 | 第36-44页 |
| ·模型层实现 | 第36-39页 |
| ·视图层实现 | 第39-42页 |
| ·控制层实现 | 第42页 |
| ·插件项目配置 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 邮件系统演化应用实例 | 第45-52页 |
| ·邮件系统 | 第45-46页 |
| ·邮件系统的ATG描述 | 第46-47页 |
| ·邮件系统的模型演化 | 第47-51页 |
| ·本章小结 | 第51-52页 |
| 第六章 总结与展望 | 第52-54页 |
| ·研究工作总结 | 第52-53页 |
| ·后期工作展望 | 第53-54页 |
| 参考文献 | 第54-59页 |
| 致谢 | 第59-60页 |
| 攻读学位期间的论文情况和科研情况 | 第60页 |