| 内容提要 | 第1-8页 |
| 第一章 绪论 | 第8-16页 |
| ·模型转换的概念 | 第8-10页 |
| ·模型与软件建模 | 第8页 |
| ·模型转换 | 第8-10页 |
| ·模型转换的作用 | 第10-11页 |
| ·模型转换研究现状 | 第11-12页 |
| ·模型转换的研究内容 | 第11-12页 |
| ·模型转换手段 | 第12页 |
| ·UML 行为模型 | 第12-14页 |
| ·本文工作 | 第14-16页 |
| ·本文主要工作 | 第14-15页 |
| ·本文组织结构 | 第15-16页 |
| 第二章 基于 SCENARIO 的顺序图到状态图的自动转换 | 第16-40页 |
| ·引言 | 第16-20页 |
| ·问题背景 | 第16-17页 |
| ·相关研究 | 第17-20页 |
| ·本章工作 | 第20页 |
| ·SCENARIO 的描述方式 | 第20-21页 |
| ·对象状态的描述 | 第21-22页 |
| ·状态向量的确定 | 第22-31页 |
| ·对象状态变量与环境状态变量的确定 | 第22-24页 |
| ·状态向量赋值 | 第24-25页 |
| ·实例 | 第25-31页 |
| ·对象SCENARIO 状态图 | 第31-33页 |
| ·对象消息轨迹与对象scenario 状态 | 第31页 |
| ·对象scenario 状态图 | 第31-33页 |
| ·对象SCENARIO 状态图生成算法 | 第33-38页 |
| ·小结 | 第38-40页 |
| 第三章 勘测和构造隐含的 SCENARIOS | 第40-51页 |
| ·引言 | 第40-41页 |
| ·问题背景与相关研究 | 第40-41页 |
| ·本章工作 | 第41页 |
| ·未预期状态转换路径 | 第41-43页 |
| ·提取合理的未预期的状态转换路径 | 第43-45页 |
| ·生成状态图中的scenario 信息 | 第43页 |
| ·提取合理的未预期的状态转换路径算法 | 第43-45页 |
| ·隐含的SCENARIOS 的构造 | 第45-49页 |
| ·对象的Scenario 消息轨迹片 | 第45-47页 |
| ·生成对象消息轨迹片算法 | 第47-49页 |
| ·构造隐含的Scenario | 第49页 |
| ·小结 | 第49-51页 |
| 第四章 顺序图与状态图的一致性问题的研究 | 第51-62页 |
| ·引言 | 第51-54页 |
| ·问题的提出 | 第51-53页 |
| ·相关研究 | 第53-54页 |
| ·本章工作 | 第54页 |
| ·LTS 与FSP | 第54-56页 |
| ·标号迁移系统 | 第54-55页 |
| ·有限状态进程(FSP) | 第55-56页 |
| ·UML 顺序图与状态图的一致性验证 | 第56-57页 |
| ·一致性验证的步骤说明 | 第56-57页 |
| ·一致性条件 | 第57页 |
| ·状态图到FSP 的映射 | 第57-59页 |
| ·一致性验证方法的实例 | 第59-61页 |
| ·小结 | 第61-62页 |
| 第五章 从顺序图到活动图的转换 | 第62-73页 |
| ·引言 | 第62-64页 |
| ·问题背景 | 第62页 |
| ·相关工作 | 第62-64页 |
| ·本章工作 | 第64页 |
| ·基于消息的动作关系 | 第64-67页 |
| ·消息的位置关系 | 第65页 |
| ·消息的动作关系 | 第65-67页 |
| ·消息的顺序关系 | 第67-69页 |
| ·一般消息顺序关系 | 第67-68页 |
| ·复合片段的消息顺序关系 | 第68-69页 |
| ·从顺序图到活动图的转换 | 第69-72页 |
| ·从顺序图到活动图的转换规则 | 第69-70页 |
| ·从顺序图生成活动图的步骤 | 第70-71页 |
| ·实例分析 | 第71-72页 |
| ·小结 | 第72-73页 |
| 第六章 结束语 | 第73-76页 |
| ·主要工作 | 第73-74页 |
| ·工作展望 | 第74-76页 |
| 参考文献 | 第76-84页 |
| 作者攻读博士期间发表的论文 | 第84-86页 |
| 致谢 | 第86-87页 |
| 摘要 | 第87-90页 |
| ABSTRACT | 第90-92页 |