面向对象软件动态模型抽象与转换技术研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-17页 |
| ·研究背景与意义 | 第10-12页 |
| ·XDRE逆向工程工具框架 | 第12-14页 |
| ·论文的主要工作与组织结构 | 第14-17页 |
| 第二章 逆向工程概述 | 第17-30页 |
| ·基本概念 | 第17-18页 |
| ·规范活动 | 第18-21页 |
| ·使用单个视图 | 第19-20页 |
| ·使用多种不同的视图 | 第20-21页 |
| ·逆向工程工具和方法 | 第21-28页 |
| ·使用高层模型理解软件系统 | 第21-25页 |
| ·软件度量(Software metrics) | 第25-27页 |
| ·支持再工程及同时支持正向和逆向工程的工具 | 第27-28页 |
| ·其他辅助逆向工程的工具 | 第28页 |
| ·小结 | 第28-30页 |
| 第三章 状态图自动合成 | 第30-56页 |
| ·引言 | 第30-31页 |
| ·UML序列图与状态图 | 第31-36页 |
| ·UML序列图 | 第32-33页 |
| ·UML状态图 | 第33-35页 |
| ·UML序列图与状态图小结 | 第35-36页 |
| ·BK算法 | 第36-38页 |
| ·应用BK算法合成UML状态图 | 第38-52页 |
| ·基本思想 | 第38-39页 |
| ·核心算法 | 第39-50页 |
| ·状态图合成过程与BK算法的推导过程间的差异 | 第50-51页 |
| ·状态图合成算法的效率 | 第51-52页 |
| ·相关研究 | 第52-54页 |
| ·小结 | 第54-56页 |
| 第四章 基于状态合并的状态图抽象 | 第56-79页 |
| ·引言 | 第56-57页 |
| ·基于合并模式的状态图抽象 | 第57-66页 |
| ·合并模式的存储 | 第57-60页 |
| ·合并模式的匹配 | 第60-66页 |
| ·在简单状态图上添加UML概念 | 第66-78页 |
| ·合并状态的doaction | 第67-68页 |
| ·转换模式 | 第68-71页 |
| ·添加内部动作 | 第71-72页 |
| ·添加进入动作 | 第72-74页 |
| ·添加退出动作 | 第74-77页 |
| ·为迁移添加动作表达式 | 第77-78页 |
| ·小结 | 第78-79页 |
| 第五章 状态图分层抽象 | 第79-102页 |
| ·引言 | 第79-80页 |
| ·相关概念 | 第80-87页 |
| ·Harel的XOR和AND状态 | 第80-83页 |
| ·UML中的组合状态 | 第83页 |
| ·层次状态图 | 第83-87页 |
| ·简单状态图的层次化方法 | 第87-96页 |
| ·基于XOR状态的层次状态图 | 第87-95页 |
| ·基于类中公有方法分析实现状态图的层次性 | 第95-96页 |
| ·相关研究与分析 | 第96-100页 |
| ·小结 | 第100-102页 |
| 第六章 实验研究 | 第102-118页 |
| ·引言 | 第102页 |
| ·从多个UML序列图合成简单状态图 | 第102-109页 |
| ·实验描述及实验过程 | 第102-104页 |
| ·结果及分析 | 第104-109页 |
| ·由简单状态图生成层次状态图 | 第109-115页 |
| ·基于XOR状态的层次状态图生成 | 第110-112页 |
| ·基于类中非公有方法的层次状态图生成 | 第112-115页 |
| ·基于合并模式的状态图抽象 | 第115-117页 |
| ·小结 | 第117-118页 |
| 第七章 工作总结与进一步的研究 | 第118-121页 |
| ·工作总结 | 第118-119页 |
| ·进一步的研究 | 第119-121页 |
| 致谢 | 第121-122页 |
| 参考文献 | 第122-135页 |
| 攻读博士学位期间完成的论文 | 第135-136页 |
| 攻读博士学位期间参加的科研 | 第136页 |
