实时UML与Rational Rose RealTime建模案例剖析

第1部分 基 础 篇第1章 实时系统概述 31.1 实时系统的基本概念 31.1.1 什么是实时系统 31.1.2 实时系统的一些重要概念 41.2 典型的实时系统——嵌入式实时软件 51.2.1 嵌入式实时操作系统 51.2.2 嵌入式实时支撑软件 71.2.3 嵌入式实时应用软件 71.2.4 嵌入式实时系统开发工具 71.3 实时系统的设计方法与技术 71.3.1 实时系统的主要抽象层次 81.3.2 实时系统设计的一些考虑 81.3.3 典型的实时系统模型 101.3.4 实时系统的设计方法学 151.3.5 统一建模语言 181.3.6 基于UML的实时系统开发概述 231.4 实时系统的统一开发过程模型 231.4.1 4种典型的实时系统开发模型 241.4.2 实时系统的统一开发过程简介 251.4.3 开发过程中的静态结构 281.4.4 实时系统开发的核心工作流 291.5 本书案例简介 301.5.1 纸牌游戏 311.5.2 咖啡机控制系统 311.5.3 ATM自动取款机控制系统 321.5.4 电梯控制系统 33第2章 实时统一建模语言 352.1 统一建模语言 352.2 实时统一建模语言模型的基本特性 362.3 基本建模元素 382.3.1 基本建模元素概述 382.3.2 基本建模元素 392.4 关系 562.4.1 关联 562.4.2 实现 582.4.3 泛化 582.4.4 依赖 592.5 图 602.5.1 概述 602.5.2 用例图 612.5.3 类图 612.5.4 状态图 622.5.5 协作图 632.5.6 Capsule结构图 642.5.7 顺序图 652.5.8 组件图 652.5.9 部署图 66第3章 实时对象约束语言 673.1 对象约束语言 673.1.1 何时使用对象约束语言 683.1.2 同UML元模型的关系 683.1.3 基本值类型 713.1.4 对象和属性 733.1.5 集合操作 773.1.6 OCL中的消息 793.2 实时对象约束语言 803.2.1 OCL-RT事件元模型 813.2.2 OCL-RT约束表达式子句 823.2.3 不变量、前置和后置条件、动作子句 82第4章 Rational Rose RealTime建模环境 854.1 Rational Rose RealTime概述 854.1.1 支持实时系统开发 854.1.2 语言支持和代码生成 864.1.3 使用服务库 864.1.4 新的实时建模元素 864.1.5 模型构造 874.1.6 开发过程和RUP工作流支持 874.2 Rational Rose RealTime的安装 884.2.1 安装需求 884.2.2 安装Rational Rose RealTime 894.3 Rational Rose RealTime的使用 924.3.1 Rational Rose RealTime的主界面 924.3.2 Rational Rose RealTime的使用 984.3.3 设置全局选项 1004.3.4 图设计 1024.3.5 代码生成 104第2部分 建 模 篇第5章 实时系统的需求分析与用例建模 1095.1 实时系统的需求分析 1095.2 用例及用例图 1105.2.1 参与者与用例 1105.2.2 用例模型之间的关系 1105.2.3 用例图 1125.3 用例建模技术 1125.3.1 确定系统参与者 1125.3.2 确定系统用例 1135.3.3 描述用例说明信息 1135.3.4 复查和调整用例模型 1135.3.5 创建实时系统的需求规格说明书 1145.4 实例分析 1175.4.1 创建非投币式咖啡机控制系统的用例模型 1185.4.2 创建ATM自动取款机系统的用例模型 1215.5.3 创建电梯控制系统的用例模型 127第6章 实时系统的静态建模 1296.1 创建包图 1296.1.1 包 1296.1.2 包之间的依赖关系 1306.1.3 创建咖啡机控制系统的包图 1306.1.4 创建ATM自动取款机控制系统的包图 1326.2 创建类图 1336.2.1 类图的基本建模元素 1336.2.2 创建类图的步骤 1356.2.3 咖啡机控制系统的类图 1386.2.4 ATM自动取款机控制系统的类图 1426.2.5 电梯控制系统的类图 1436.3 创建Capsule结构图和协作图 1436.3.1 Capsule结构图概述 1436.3.2 协作图概述 1446.3.3 结构图和协作图的建模元素 1446.3.4 创建咖啡机控制系统Capsule的结构图 145第7章 实时系统的动态建模 1497.1 创建状态图 1497.1.1 状态图概述 1497.1.2 状态图的基本建模元素 1497.1.3 状态图的建模技术 1517.1.4 咖啡机控制系统的状态图示例 1547.1.5 ATM自动取款机控制系统的状态图示例 1597.2 创建活动图 1607.2.1 活动图概述 1607.2.2 活动图的基本建模元素 1617.2.3 ATM自动取款机控制系统活动图示例 1627.3 创建顺序图 1657.3.1 顺序图概述 1657.3.2 顺序图的建模元素 1667.3.3 顺序图的建模方法 1667.3.4 咖啡机控制系统的顺序图示例 167第8章 UML的实现与部署 1718.1 创建组件图 1718.1.1 组件图的概述 1718.1.2 组件图的建模元素 1728.1.3 创建咖啡机控制系统的组件图 1758.2 代码生成 1798.3 创建部署图 1808.3.1 部署图的概述 1808.3.2 部署图的建模元素 1818.3.3 创建咖啡机控制系统的部署图 182第3部分 案例篇第9章 纸牌游戏 1879.1 概述 1879.2 模型创建和工具集配置 1879.3 创建用例和初始Capsule 1909.3.1 创建用例 1909.3.2 定义类 1919.3.3 描述类的行为 1929.3.4 创建类和Capsules 1929.3.5 RTClasses包 1949.3.6 创建Capsule结构 1949.4 创建顺序图、协议、端口和连接子 1979.4.1 创建顺序图 1989.4.2 创建协议 2009.4.3 创建端口和连接子 2039.5 编译和执行模型 2089.5.1 创建原型系统 2089.5.2 编译模型 2089.5.3 创建部署视图 2119.5.4 执行编译 2129.5.5 运行组件实例 2139.6 对Capsule添加行为 2159.6.1 打开状态图 2159.6.2 创建发牌人的行为 2159.6.3 创建玩家的行为 2199.7 调试和运行 2269.7.1 重新编译模型 2269.7.2 调试“Player”Capsule 2299.8 类建模 2329.8.1 创建包 2329.8.2 创建初始类结构 2339.8.3 定义类之间的关系 2349.8.4 对“Card”类添加属性 2379.8.5 为“CardList”类添加实现细节 2379.8.6 实现“Deck”类 2419.8.7 实现“Hand”类 2429.8.8 实现“PokerHand”类 2439.9 为Capsule行为添加纸牌类 2449.9.1 完成“Dealer”Capsule行为定义 2449.9.2 为“Dealer”Capsule添加析构函数 2469.9.3 完成“Player”Capsule行为定义 2469.9.4 添加依赖关系 2479.9.5 添加引用 2519.9.6 编译与执行 252第10章 咖啡机控制系统 25510.1 咖啡机概述 25510.2 需求分析 25610.2.1 需求描述 25610.2.2 创建初始模型 25710.2.3 创建用例的包模型 25710.2.4 创建全系统用例模型 25810.2.5 创建非投币式咖啡机控制系统用例模型 26010.2.6 创建投币式咖啡机控制系统的用例模型 26210.3 系统设计 26310.3.1 创建包图 26310.3.2 静态建模 26510.3.3 动态建模 27310.4 咖啡机控制系统的测试建模 29410.5 创建组件图 29910.5.1 创建Wondows环境下的组件 30010.5.2 创建SUN5T环境下的组件 30410.6 代码生成 308第11章 ATM自动取款机系统 31111.1 ATM自动取款机系统概述 31111.1.1 ATM自动取款机简介 31111.1.2 ATM自动取款机的开发流程 31211.1.3 ATM自动取款机系统初始需求描述 31211.2 ATM自动取款机系统的初始模型的创建 31911.3 ATM自动取款机系统用例模型的创建 32011.3.1 识别与创建参与者 32111.3.2 识别与创建用例 32211.3.3 创建用例图 32411.3.4 创建初始功能测试用例 32611.4 ATM自动取款机系统的概要设计 32911.4.1 分析初始类模型 32911.4.2 创建ATM的CRC卡 33011.4.3 创建类及类图 33411.4.4 创建状态图 33511.4.5 创建顺序图 33711.4.6 创建协作图 34011.5 ATM自动取款机系统的详细设计与实现 34211.5.1 详细设计 34211.5.2 创建包图 34711.5.3 编码与实现 34811.6 ATM自动取款机系统模拟 360第12章 电梯控制系统 36112.1 电梯控制系统概述 36112.1.1 实时系统设计的RUP模型 36112.1.2 电梯控制系统的需求描述 36112.2 电梯控制系统的静态建模 36212.2.1 电梯控制系统用例图的创建 36212.2.2 电梯控制系统类图的创建 36312.2.3 电梯控制系统静态结构的概述 36812.3 电梯控制系统的动态建模 36812.3.1 电梯控制系统的顺序图 36812.3.2 电梯控制系统的状态图 37612.4 利用实时Java实现电梯控制系统 377