需求模型的可视化方法与理论研究
| 论文创新点 | 第5-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 目录 | 第10-13页 |
| 第1章 导论 | 第13-21页 |
| 1.1 前言 | 第13-14页 |
| 1.2 研究背景及目的意义 | 第14-15页 |
| 1.3 研究状况和文献综述 | 第15-19页 |
| 1.4 研究方法和主要内容 | 第19-20页 |
| 1.5 论文结构 | 第20页 |
| 1.6 本文的贡献与创新 | 第20-21页 |
| 第2章 面向软件行为的需求建模方法 | 第21-38页 |
| 2.1 面向软件行为的需求建模方法简介 | 第21-22页 |
| 2.2 需求建模过程 | 第22-30页 |
| 2.2.1 问题域分析 | 第22-23页 |
| 2.2.2 标识视点 | 第23-24页 |
| 2.2.3 建立场景 | 第24-25页 |
| 2.2.4 使用行为描述语言建立行为模型 | 第25-27页 |
| 2.2.5 检测所有视点 | 第27-28页 |
| 2.2.6 检测系统特性 | 第28页 |
| 2.2.7 需求可视化 | 第28-30页 |
| 2.3 行为描述语言 | 第30-36页 |
| 2.3.1 原子行为 | 第30-31页 |
| 2.3.2 行为表达式 | 第31-33页 |
| 2.3.3 BDL的操作语义 | 第33-34页 |
| 2.3.4 使用行为流图建立行为模型 | 第34-36页 |
| 2.4 本章小结 | 第36-38页 |
| 第3章 面向软件行为模型的需求可视化方法研究 | 第38-61页 |
| 3.1 行为模型及其需求可视化 | 第38-39页 |
| 3.2 面向软件行为模型的需求可视化方法 | 第39-41页 |
| 3.3 对象的可视化 | 第41-50页 |
| 3.3.1 行为模型中的对象及其继承关系 | 第42-43页 |
| 3.3.2 对象依赖关系 | 第43-46页 |
| 3.3.3 对象选择策略 | 第46-47页 |
| 3.3.4 对象的可视化描述 | 第47-50页 |
| 3.4 软件行为的可视化 | 第50-55页 |
| 3.4.1 行为选择策略 | 第51-52页 |
| 3.4.2 行为的可视化描述 | 第52-55页 |
| 3.5 生成需求动画的描述模型 | 第55-58页 |
| 3.6 需求动画的执行机制 | 第58-59页 |
| 3.7 本章小结 | 第59-61页 |
| 第4章 行为模型的精化 | 第61-84页 |
| 4.1 基于事件的行为描述语言 | 第61-73页 |
| 4.1.1 基于事件的行为描述语言语法 | 第62-63页 |
| 4.1.2 事件执行系统 | 第63-64页 |
| 4.1.3 事件结构及其演化 | 第64-68页 |
| 4.1.4 EBDL的操作语义 | 第68-73页 |
| 4.2 行为表达式的良结构性 | 第73-74页 |
| 4.3 行为间的关系及通信 | 第74-76页 |
| 4.4 精化关系的信息等价性 | 第76-77页 |
| 4.5 EBDL的等价关系 | 第77-82页 |
| 4.6 本章小结 | 第82-84页 |
| 第5章 行为模型到状态模型的转换 | 第84-111页 |
| 5.1 行为模型与状态模型 | 第84-85页 |
| 5.2 状态机 | 第85-93页 |
| 5.2.1 状态机的非形式化描述 | 第85-86页 |
| 5.2.2 状态及状态间的关系 | 第86-88页 |
| 5.2.3 状态机的形式化描述 | 第88-90页 |
| 5.2.4 状态机的结构式 | 第90-92页 |
| 5.2.5 状态机的操作语义 | 第92-93页 |
| 5.3 状态机的互模拟关系 | 第93-95页 |
| 5.4 行为模型到状态机的转换 | 第95-107页 |
| 5.4.1 转换规则 | 第95-99页 |
| 5.4.2 行为模型和状态模型的伪互模拟关系 | 第99-100页 |
| 5.4.3 转换规则的正确性 | 第100-107页 |
| 5.5 状态抽取 | 第107-109页 |
| 5.6 状态机化简 | 第109-110页 |
| 5.7 本章小结 | 第110-111页 |
| 第6章 实例说明 | 第111-124页 |
| 6.1 ATM系统的需求描述 | 第111-112页 |
| 6.2 需求建模 | 第112-119页 |
| 6.2.1 划分问题域和标识视点 | 第112-113页 |
| 6.2.2 建立场景 | 第113-114页 |
| 6.2.3 建立行为模型 | 第114-119页 |
| 6.3 生成状态机以及状态块 | 第119-122页 |
| 6.4 需求的动画执行 | 第122-123页 |
| 6.5 本章小结 | 第123-124页 |
| 第7章 总结和展望 | 第124-126页 |
| 参考文献 | 第126-132页 |
| 攻读博士学位期间发表的论文 | 第132-133页 |
| 攻读博士学位期间参与的科研项目 | 第133-134页 |
| 致谢 | 第134页 |
