第5章-系统建模.ppt

分叉和结合节点 分叉和结合节点有同样的标柱：垂直或水平条（方向取决于工作流从左到右，还是从上到下）。它们说明了控制的并发线程的起始和终点，下图显示他们的使用示例。 注： 结合节点同步两个输入量，产生一个单独的输出量。来自结合节点的输出量要接收到所有的输入量后才能执行。 扩展域 扩展域是会执行多次的结构活动域。输入输出扩展节点表示为一组“3厢” ，代表多个选择项。关键词 iterative， parallel 或 stream显示在区域的左上角 异常处理器 异常处理器在活动图中可以建模。 可中断活动区 可中断活动区环绕一组可以中断的动作。 在下面非常简单的例子中： 当控制被传递到结束订单 Close Order 动作，定单处理Process Order 动作会执行直到完成，除非Cancel Request取消请求中断被接受，这会将控制传递给Cancel Order动作。 分割 一个活动分割显示为垂直或水平泳道。 如图中，分割被用来在活动图中分隔动作，有在 accounting department中执行的，有在 customer中执行的。 5.4.2 事件驱动模型 事件驱动模型表示系统对内外部事件的响应方式。 微波炉的状态图 状态图（state charts） 状态图用来详细描述系统中，对象经历的状态转移和变化。它们显示一个对象如何从一个状态到另一个状态，以及控制这种变化的规则，通常有一个开始和结束状态。 状态 状态被表示为圆角矩形，状态名写在里面。 起始和结束状态 初始状态表示为实心黑圆环，可以标注名称。结束状态表示为中心带黑点圆环，也可以被标注名称。 转移 一个状态到下一个状态的转移表示为带箭头实线。转移可以有一个“Trigger”触发器，一个“Guard”监护条件和一个“effect”效果。 “Trigger”触发器是转移的起因，它可以是某个条件下的一个信号，一个事件，一个变化或一个时间通路。 “Guard”监护是一个条件，而且必须为 真，以便于让触发器引起转移。 效果Effect是直接作用到对象上的一个动作，该对象具有做为转移结果的状态机。 状态活动 在上面的状态转移示例中，一个效果与该转移相关联。如果目标状态有多个转移到达，并且每一个转移都有相同的效果与它相关联，那最好将该效果与目标状态相关联，而不与转移相关联。你可以通过为这个状态定义初始动作来实现。下图显示了一个带入口动作和出口动作的状态。 自转移 一个状态可能有一个返回到自身的转移，如下图。效果与转移关联是十分有帮助。 复合状态 一个状态机图可以有子状态机图，如图所示： 选择伪状态 选择伪状态显示为菱形，有一个转移输入，两个或多个输出。下图显示不管到达哪一个状态，经过选择伪状态后的去向，取决于在伪状态中执行时所选择的消息格式。 终止伪状态 进入终止伪状态是指状态机生命线已经终止。终止伪状态表示为叉号。 并发区 一个状态可以被分成几个不同的区，包含同时存在和执行的子状态。 下面的例子显示状态 Applying Brakes， front brake和rear brakes 将同时独立运作。注意使用了分叉和结合伪状态而不是选择和合并伪状态。这些符号用来同步并发的线程。 5.5 模型驱动工程 MDE是软件开发的一种方法，在此方法中，模型是主要输出，程序不是。 5.5.1 模型驱动体系结构 3种类型的抽象模型系统 计算独立模型CIM 平台独立模型PIM 平台特定模型PSM MDA变换 PIM到PSM 5.5.2 可执行UML 3个主要模型类型 领域模型 类模型 状态模型 * UML的主要创始人是Jim Rumbaugh、Ivar Jacobson和Grady Booch，他们最初都有自己的建模方法（OMT、OOSE和Booch），彼此之间存在着竞争。最终，他们联合起来创造了一种开放的标准。 GB/T 28174对应于相应的UML * * 谁使用系统的主要功能（主要使用者）？ 谁需要系统支持他们的日常工作？ 谁来维护、管理系统使其能正常工作（辅助使用者）？ 系统需要控制哪些硬件？ 系统需要与其他哪些系统交互？ 对系统产生的结果感兴趣的是哪些人？ * 如何确定类 确定实体类。首先对系统将要存储的信息进行聚类分析，形成实体类。然后分析实体类间的关系。 构建适当的子系统，确定控制类，通过控制类和实体模型进行交互（协调类）。 建立边界类（UI类、设备接口类、通信接口）。 接口（Interfaces） 是实施者同意满足的行为规范，是一种约定。 实现一个接口，类必需支持其要求的行为，使系统按照同样的方式，即公共的接口，处理不相关的元素。 关联（Associations） 关联表明两个模型元素之间有关系，通常用在一个类中被实现为一个实例变量。连接符