实验五设计时序图模型.doc

实验五 设计时序图模型 产生时序图的方法与产生用例图的方法类似。设计时序图时，可以在角色和对象之间、对象和对象之间定义消息。但两个角色之间一般不定义消息，如果做了定义，在检查模型时，系统会自动删除，并提出警告。如果消息的发送者和接收者是同一个对象，称为递归消息。 为建立时序图，可按以下步骤进行： 步骤1：在OOM设计窗口New对话框右侧的First diagram栏中选择Sequence Diagram (时序图) 图形类别。 步骤2：单击“确定”按钮，进入时序图设计工作区。这时，Palette面板上的时序图消息类型工具及其他基本构件工具如图5.1所示。 (1) 产生不同类型的消息 在时序图中可以定义不同类型的消息，具体方法是： 步骤1：在时序图的Palette工具面板中选择6种类型消息工具之一。 例如，在时序图设计工作区中加入一个Actor和一个Object，然后单击Message工具，再单击消息发送者的生命线，拖动鼠标至消息接收者的生命线后释放鼠标。然后，单击右键释放Message工具。在消息的发送者和接收者的生命线间产生一条消息线 (图5.2) 。 步骤2：双击消息图形符号，打开消息属性窗口，见图5.3。在Name和Code栏中输入消息的名称和代码，并在Control flow下拉列表中选择控制的类型。定义完毕后，单击“确定”按钮，返回到时序图工作区。 图5.1 时序图消息类型工具 图5.2 建立一条消息线 图5.3 “消息属性”窗口 其中General页的各个选项的含义是： ? Sender：消息的发送者。 ? Receiver：消息的接收者。 ? Stereotype：使用的版型。该选项的默认值为空，可以通过在Model菜单中单击Extended Model Definitions…命令来定义当前PDM模型的版型。 步骤3：选择Detail属性页，如图5.4所示，可以为消息定义更详细的属性。 图5.4 Detail属性页 图5.5 Destroy消息在时序图中的表现 Detail页中各个选项的含义是： ? Action：完成的动作。包含4个选项，其含义如表5.1所示。 表5.1 Action选项的含义 动作类型 含义 None 不完成其他任何操作 Create 消息的发送者通过消息创建接收者，它是发送者和接受者的第一个消息 Destroy 消息的发送者通过消息销毁接收者，它是发送者和接受者的最后一个消息 Self-Destroy 消息的发送者通过消息销毁自己，它是发送者和接受者的最后一个消息 ? Control flow：消息控制流的类型。包含4个选项，其含义如表5.2所示。 表5.2 Control flow选项的含义 控制流类型 含义 图形符号 Asynchronous 异步消息。消息的发送者不需要等待接收者的应答便可以继续自己的操作。一般用在并发处理中 Procedure Call 过程调用消息。下一个序列重新开始之前当前序列必须完成。发送者必须等待接收者的应答或激活期结束 Return 通常与Procedure Call一起使用，表示消息返回 Undefined 未定义 Action选项与Control flow选项的配合情况如表5.3所示。 表5.3 Action选项与control flow选项的配合情况 控制流 动作 Asynchronous Procedure Call Return Undefined None ? ? ? ? Create ? ? ? ? Destroy ? ? ? ? Self-Destroy ? ? ? ? ? Operation：连接到消息的操作。如果消息的接收者是一个类，则此消息可以调用一个类的操作。操作可以从下拉列表框中选择，也可以通过Operation右边的Create按钮建立一个新操作，然后从下拉列表框中选择即可。如果消息的控制流是Return，则不能连接一个操作。 ? Condition：通过一个布尔表达式来激活消息。例如，输入密码次数 =3次。 ? Begin time：消息开始的时间，用于定义约束。 ? End time：消息结束的时间，用于定义约束。例如，约束 = (t1-t230秒) ，其中t1表示开始时间，t2表示结束时间。 ? Support delay：定义消息的传输延迟。如果支持延迟，则End time可以与Begin time不相同。 步骤4：在Palette面板单击Note工具，可以为消息增加一个注释，然后再利用Link/Extended Dependency工具，在注释和生命线上的消息矩形框之间增加一条带箭头的连线。 步骤5：