消息顺序图才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::= 说明:检到消息 画图注意事项：检到消息符的箭头与消息结束域（实例或通道）相连，消息的实例名位于检到消息符上方。可以反向使用。 3.2.3 消息（续） 例一、消息丢失的例子 Responder Initiator When Disconnected Disconnected ICONreq Wait_For_Resp msc failure IDISind Responder ICON T 说明： 消息ICON从实例Initiator发出后丢失。未能到达实例Responder，结果导致超时，连接请求失败。 3.2.3 消息（续） 例二、检到消息的例子 game When odd odd even msc change_status 说明： 当系统处于“奇(odd)”状态时，如果收到消息“none”，则状态改为“偶(even)”。当系统处于“偶(even)”状态时，如果收到消息“none”，则状态改为“奇(odd)”。 none none 典型应用： 系统状态的改变靠随机事件产生，常用于游戏程序中。 返回 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无关 3.2.4 条件（续） 条件符的“连接符”的作用： 条件符除了用来描述系统状态外，还可以起到连接符的作用。当MSC图要描述的系统行为比较多时，往往在一页纸上画不下，这时可以将该MSC图分解成多个MSC图，分别画在多张纸上，图与图之间用同名条件来连接。 条件起连接作用的应用： 1、全局状态连接全局状态 2、局部状态连接全局状态 3、全局状态连接局部状态 用条件符可以起到decomposed的功能 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的继续。 例一、条件起连接作用的例子（全局状态连接全局状态） 结束状态 起始状态 3.2.4 条件（续） inst a inst b inst c msc MSC4 When CON2 CON2 inst a inst b inst c msc MSC3 说明：MSC4可以看成是MSC3的继续。 例二、条件起连接作用的例子（局部状态连接全局状态） inst d 3.2.4 条件（续） 说明：MSC6可以看成是MSC5的继续。 例三、条件起连接作用的例子（全局状态连接局部状态） CON3 inst a inst b inst c msc MSC5 inst b inst c msc MSC6 When CON3 3.2.4 条件（续） 说明： 分解后的图的页码按“v-h”方式编排。 v 对应纵向分页，采用阿拉伯数字 h 对应横向分页，采用大写英文字母 例四、画在多张纸上的页码表示 返回 1-A 1-B 2-A 2-B 3.2.5 定时器 定义：用来监视某一事件（一般为等待接收消息）的到达。 定时器的符号表示 一、启动定时器：就是在系统中创建一个定时器的实例 start symbol1::= start symbol2::= restart symbol::= 说明：定时器由实例来启动的，所以定时器启动符和再启动符的一端必