基于图变换的可视化层次用例建模及演化方法研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-12页 |
| 第一章 绪论 | 第12-26页 |
| ·可视化用例建模研究 | 第12-15页 |
| ·用例模型 | 第12-13页 |
| ·用例建模 | 第13-14页 |
| ·可视化建模语言 | 第14-15页 |
| ·软件演化研究 | 第15-19页 |
| ·演化规律 | 第15-16页 |
| ·工具与技术 | 第16-18页 |
| ·过程模型 | 第18-19页 |
| ·图变换及其应用研究 | 第19-23页 |
| ·带属性类型图和态射 | 第19-22页 |
| ·图变换和图文法 | 第22页 |
| ·图变换在可视化建模与演化中的应用 | 第22-23页 |
| ·可视化用例建模与演化研究的意义 | 第23-24页 |
| ·论文研究内容 | 第24-25页 |
| ·论文组织 | 第25-26页 |
| 第二章 基于重用的层次用例模型及其描述语法与语义 | 第26-49页 |
| ·基于重用的层次用例模型 | 第26-30页 |
| ·用例描述重用及层次用例模型 | 第26-27页 |
| ·服务层 | 第27-28页 |
| ·结构层 | 第28-29页 |
| ·事件层 | 第29-30页 |
| ·基于图变换的层次用例模型抽象语法 | 第30-34页 |
| ·层次用例模型类型图和初始图 | 第30-32页 |
| ·层次用例模型图产生式规则 | 第32-34页 |
| ·基于图变换的层次用例模型具体语法 | 第34-39页 |
| ·抽象语法与具体语法之间的关系 | 第34页 |
| ·层次用例模型具体语法 | 第34-38页 |
| ·文本描述的自动生成 | 第38-39页 |
| ·基于事件序列的形式化语义 | 第39-48页 |
| ·基本事件序列及语义 | 第39-41页 |
| ·简单用例描述的形式化 | 第41-42页 |
| ·简单用例描述语义 | 第42-44页 |
| ·层次用例模型描述语义 | 第44-48页 |
| ·本章小结 | 第48-49页 |
| 第三章 基于逻辑的软件演化操作描述语言SEOL | 第49-68页 |
| ·SEOL定义 | 第49-54页 |
| ·设计原则 | 第49页 |
| ·SEOL语法规则 | 第49-52页 |
| ·SEOL表达式 | 第52-53页 |
| ·相关工作分析 | 第53-54页 |
| ·SEOL结构化操作语义 | 第54-59页 |
| ·处理函数定义 | 第54-55页 |
| ·结构化操作语义规则 | 第55-56页 |
| ·语义等价分析 | 第56-59页 |
| ·SEOL语言处理机制 | 第59-63页 |
| ·处理基本原理 | 第59-60页 |
| ·处理基本流程 | 第60-61页 |
| ·SEOL表达式求值算法 | 第61-63页 |
| ·基于SEOL的图变换描述 | 第63-67页 |
| ·带属性类型图的谓词表示 | 第63-64页 |
| ·基本图变换操作 | 第64-66页 |
| ·复杂条件描述 | 第66-67页 |
| ·本章小结 | 第67-68页 |
| 第四章 演化式用例建模 | 第68-88页 |
| ·演化式用例建模过程 | 第68-73页 |
| ·过程模型 | 第68-69页 |
| ·初始建模 | 第69-70页 |
| ·模型扩展 | 第70-72页 |
| ·模型重构 | 第72页 |
| ·模型分析 | 第72-73页 |
| ·基于图变换的用例模型语法和反模式分析 | 第73-78页 |
| ·模型语法正确性分析 | 第73-75页 |
| ·模型反模式及其分析 | 第75-78页 |
| ·层次用例模型度量与分析 | 第78-81页 |
| ·模型度量数据 | 第78页 |
| ·用例大小度量 | 第78-79页 |
| ·用例模型结构复杂性度量 | 第79-80页 |
| ·用例模型可重用性度量 | 第80-81页 |
| ·基于图变换的层次用例模型重构 | 第81-87页 |
| ·模型重构操作描述 | 第81页 |
| ·创建类重构操作 | 第81-83页 |
| ·删除类重构操作 | 第83页 |
| ·修改类重构操作 | 第83-84页 |
| ·迁移类重构操作 | 第84-85页 |
| ·重构组合 | 第85-87页 |
| ·本章小结 | 第87-88页 |
| 第五章 用例模型演化操作规划与合成优化 | 第88-109页 |
| ·模型结构的提炼与内联 | 第88-100页 |
| ·提炼/内联被包含用例 | 第88-91页 |
| ·提炼/内联特化用例 | 第91-95页 |
| ·提炼/内联扩展用例 | 第95-98页 |
| ·提炼/内联泛化参与者 | 第98-100页 |
| ·用例模型演化操作设计规划 | 第100-104页 |
| ·演化操作规划 | 第100-101页 |
| ·演化操作依赖分析 | 第101-102页 |
| ·规划操作描述 | 第102页 |
| ·规划描述 | 第102-103页 |
| ·演化操作规划算法 | 第103-104页 |
| ·演化操作合成优化 | 第104-108页 |
| ·演化操作合成度 | 第104-105页 |
| ·演化操作模糊聚类分析 | 第105-106页 |
| ·演化操作合成优化 | 第106-108页 |
| ·本章小结 | 第108-109页 |
| 第六章 原型工具开发及应用 | 第109-123页 |
| ·层次用例模型建模及演化原型工具开发 | 第109-113页 |
| ·TIGER开发环境 | 第109-110页 |
| ·基于Eclipse插件的体系结构 | 第110-111页 |
| ·可视化建模原型工具实现 | 第111-113页 |
| ·模型演化原型工具实现 | 第113页 |
| ·分布式门禁系统用例建模实例研究 | 第113-122页 |
| ·系统简介 | 第113-114页 |
| ·初始建模 | 第114-117页 |
| ·模型扩展 | 第117-118页 |
| ·模型分析 | 第118-121页 |
| ·模型重构 | 第121-122页 |
| ·本章小结 | 第122-123页 |
| 第七章 总结与展望 | 第123-126页 |
| ·研究内容总结 | 第123-124页 |
| ·进一步的研究工作 | 第124-126页 |
| 参考文献 | 第126-133页 |
| 致谢 | 第133-134页 |
| 攻读博士学位期间的主要研究成果 | 第134-135页 |
