消息顺序图msc讲义演示课件.pptVIP

3.1.3 图形方法的符号说明 3.1.3 图形方法的符号说明（续） 3.1.3 图形方法的符号说明（续） 3.1.3 图形方法的符号说明（续） 3.1.3 图形方法的符号说明（续） 3.1.3 图形方法的符号说明（续） 3.1.3 图形方法的符号说明（续） 3.1.3 图形方法的符号说明（续） 3.1.3 图形方法的符号说明（续） MSC文本文法的总结 谢 谢Thanks! 3.2.3 消息（续） 有关消息的图形表示 message symbol::= 说明: 消息符 lost message symbol::= 说明: 消息丢失 画图注意事项：消息实例名位于丢失消息符上方，目的地实例名或通道名位于实心黑圈旁边。可以反向使用。 found message symbol::= 说明:检到消息 画图注意事项：检到消息符的箭头与消息结束域（实例或通道）相连，消息的实例名位于检到消息符上方。可以反向使用。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 3.2.3 消息（续） 例一、消息丢失的例子 Responder Initiator When Disconnected Disconnected ICONreq Wait_For_Resp msc failure IDISind Responder ICON T 说明： 消息ICON从实例Initiator发出后丢失。未能到达实例Responder，结果导致超时，连接请求失败。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 3.2.3 消息（续） 例二、检到消息的例子 game When odd odd even msc change_status 说明： 当系统处于“奇(odd)”状态时，如果收到消息“none”，则状态改为“偶(even)”。当系统处于“偶(even)”状态时，如果收到消息“none”，则状态改为“奇(odd)”。 none none 典型应用： 系统状态的改变靠随机事件产生，常用于游戏程序中。 返回 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 3.2.4 条件 用途：用来描述系统的全局状态或局部状态 图形文法的定义： condition area::= condition symbol contains condition text[shared] is attached to {instance axis symbol*}set condition symbol::= CON1 CON2 CON3 图例 CON4 中间的实例与条件CON4无关 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 3.2.4 条件（续） 条件符的“连接符”的作用： 条件符除了用来描述系统状态外，还可以起到连接符的作用。当MSC图要描述的系统行为比较多时，往往在一页纸上画不下，这时可以将该MSC图分解成多个MSC图，分别画在多张纸上，图与图之间用同名条件来连接。 条件起连接作用的应用： 1、全局状态连接全局状态 2、局部状态连接全局状态 3、全局状态连接局部状态 用条件符可以起到decomposed的功能 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 3.2.4 条件（续） CON1 inst a inst b inst c msc MSC1 inst a inst b inst c msc MSC2 When CON1 说明：消息顺序图MSC1的结束条件为CON1，而消息顺序图MSC2的初始条件也为CON1，所以，MSC2可以看成是MSC1的继续。 例一、条件起连接作用的例子（全局状