消息顺序图MSC讲义课件

消息顺序图MSCMessageSequenceChart演讲人：周刚电话：38639815E_mail：[e-mail]消息顺序图─MSC学习的目标及任务1、熟悉MSC的基本概念2、熟悉常用的MSC做图方法及相应文字文法的表示3、能够阅读分析较复杂的MSC图4、能够自己分析相关案例，画较简单的MSC流程图消息顺序图─MSC3.1概述3.2MSC基础3.3MSC文档3.4MSC结构概念消息顺序图─MSC3.1.0MSC是什么3.1.1MSC特点3.1.2MSC实体类型3.1.3定义图形文法的符号说明3.1概述主菜单消息顺序图─MSC3.1.0MSC是什么是用来描述多个实体之间和实体与环境之间消息交互顺序的一种形式语言。形式语言：通用建模语言UnifiedModelingLanguageUML消息顺序图MessageSequenceChartMSC规格与描述语言SpecificationandDescriptionLanguageSDL二、MSC的文法：文本文法TextualGrammar图形文法GraphicalGrammar一、MSC的定义：返回消息顺序图─MSC3.1.1MSC的特点MSC是一种形式语言（自然语言与形式化共同描述）MSC是一种实用语言（可用于软件开发的整个生命周期）MSC是一种消息跟踪语言（它是专门用来描述通信及事件的发生顺序）MSC支持不完整的规范说明（需求分析初，可以描述不完整的系统行为）MSC是一种图形化语言（它用二维图形来概括通信实例的行为）MSC支持结构化设计（基本MSC图组合成高级MSC图）MSC可与其他方法和语言联合使用（比如与SDL、TTCN的联合）MSC可以描述不允许出现或不可能出现的行为（通过自然语言）返回消息顺序图─MSC3.1.2MSC的实体类型MSC文档MSC图实例状态定时器消息通道变量视见域（SCOPE）MSC文档、MSC图1、实体名称的相异性2、实体名称的局部性返回消息顺序图─MSC3.1.3图形方法的符号说明括号内的符号为非终结符，需进一步定义{}括号内的内容有关联性*括号内可选，可以为零或任意次+括号内必选，可以出现一次或任意次::=定义符。左边为非终结符，右部为非终结符/终结符串|或符，两边为并列关系。符号消息顺序图─MSC3.1.3图形方法的符号说明（续）area1containsarea2area1isfollowedbyarea2area1isassociatedwitharea2area1isattachedtoarea2area1abovearea2{}set词组消息顺序图─MSC3.1.3图形方法的符号说明（续）area1containsarea2词组意义area1包含area2MyMSCmscreferencearea::=mscreferencesymbolcontainsmscrefexprMSC引用符MSC图名称消息顺序图─MSC3.1.3图形方法的符号说明（续）area1isfollowedbyarea2词组意义area2与area1具有上下关联关系instancearea::=instanceheadareaisfollowedbyinstancebodyareainstancebodyarea::=instanceaxissymbolisfollowedbyinstanceendsymbolinstanceheadareaisfollowedbyinstanceaxissymbolinstancearea::=instanceheadareaisfollowedbyinstanceaxissymbolisfollowedbyinstanceendsymbol消息顺序图─MSC3.1.3图形方法的符号说明（续）area1isassociatedwitharea2词组意义area2附属于area1，而且area2一般为文字内容msgmessagearea::=messagesymbolisassociatedwithmsgidentification消息标识符消息符消息顺序图─MSC3.1.3图形方法的符号说明（续）area1isattachedtoarea2词组意义area1与area2相连，而且area2必须为一个或一组图形符号msgmessagearea::=messagesymbolisattachedto{messagestartareamessageendarea}消息结束域消息开始域消息顺序图─MSC3.1.3图形方法的符号说明（续）area1isattachedtoarea2词组意义area1与area2相连，而且area2必须为一个或一组图形符号mscsymbol::=framesymbolisattachedto{defgatearea*}setSysICONreqICONindMSCABC消息顺序图─MSC3.1.3图形方法的符号说明（续）area1abovearea2词组意义area1位于area2垂直上方相连instancearea::=instanceheadareaaboveinstancebodyareainstancebodyarea::=instanceaxissymbolaboveinstanceendsymbol消息顺序图─MSC3.1.3图形方法的符号说明（续）词组{}set例：textlayer::={textarea*}set表示：文本层是一个包含零个或多个文本域的无序集合mscbodyarea::={instancelayertextlayergatedeflayereventlayerconnectorlayer}set表示：mscbodyarea是由花括号内的元素组成的一个无序集合返回SysICONreqICONindMSCABC消息顺序图─MSC3.2MSC基础3.2.1消息顺序图3.2.2实例3.2.3消息3.2.4条件3.2.5定时器3.2.6动作3.2.7进程创建3.2.8进程终止3.2.9调用与回复3.2.10环境与通道主菜单消息顺序图─MSC3.2.1消息顺序图（MSC图）功能：描述系统中若干组件之间的通信和组件与外部环境之间的通信，系统组件在MSC图中以实例的形式出现，一张MSC图只描述系统的部分行为。其图形文法定义：mscdiagram::=simplemscdiagram|hmscdiagramsimplemscdiagram::=mscsymbolcontainsmscheadingmscbodyareahmscdiagram::=mscsymbolcontains{mscheading[containing-clause]}mscexprarea说明：1、简单的MSC图由标题部分和主体域组成。2、高级MSC图由标题部分和MSC表达式域组成，子句是可选项消息顺序图─MSC3.2.1消息顺序图（MSC图）（续）simplemscdiagram::=mscsymbolcontainsmscheadingmscbodyareamscsymbol::=framesymbolisattachedto{defgatearea*}setframesymbol::=说明：方框符作为MSC图的边界，内部视为MSC的系统环境，外部视为外界环境，通过多个消息通道（通道定义域）与外界交互消息。消息顺序图─MSC3.2.1消息顺序图（MSC图）（续）simplemscdiagram::=mscsymbolcontainsmscheadingmscbodyareamscbodyarea::={instancelayertextlayergatedeflayereventlayerconnectorlayer}setmscheading::=mscmscname[mscparameterdecl][timeoffset]说明：MSC图的标题部分由关键字msc和MSC图名组成，参数声明及时间偏移是可选项timeoffset::=offsettimeexpression说明：时间偏移用来表示绝对的时间偏移消息顺序图─MSC3.2.1消息顺序图（MSC图）（续）mscbodyarea::={instancelayertextlayergatedeflayereventlayerconnectorlayer}set说明：MSC主体域包括实例层instancelayer::={instancearea*}set文本层textlayer::={textarea*}set通道定义层gatedeflayer::={defgatearea*}set事件层eventlayer::=eventarea|eventareaaboveeventlayer连接器层connectorlayer::={messagearea*|incompletemessagearea*|methodcallarea*|incompletemethodcallarea*|replyarea*|incompletereplyarea*}set消息顺序图─MSC3.2.1消息顺序图（MSC图）（续）mscmsc-namemscbodyarea例题一：MSC图的一般形式方框符framesymbol关键字keyMSC图名MSC主体部分代表系统的内外部环境分界线消息顺序图─MSC3.2.1消息顺序图（MSC图）（续）例题二：建立连接的简单MSC图calling_partycalled_partyprocessdigiteprocessdigiteWhenIdleSeizureTalkingoff-hookdial-tone-ondigitdial-tone-offdigitseizure-intackring-back-tone-onoff-hookanwerconnetioninternal-ringing-onmscconnection消息顺序图─MSC3.2.1消息顺序图（MSC图）（续）例题二：建立连接的简单MSC图（续）1、两个实例之间交互一条消息被定义为两个事件发送消息事件（对发出该消息的实例而言）消耗消息事件（对接收并处理该消息的实例而言）2、主叫方（calling_party）事件发生顺序in(off_hook)out(dial_tone_on)in(digit)out(dial_tone_off)in(digit)out(seizure_int)in(ack)out(ring_back_tone_on)in(answer)out(connection)3、被叫方（called_party）事件发生顺序in(seizure_int)out(ack)out(internal_ringing_on)in(off_hook)out(answer)4、主叫与被叫之间的事件发生顺序out(seizure_int)in(seizure_int)out(ack)in(ack)out(answer)in(answer)返回消息顺序图─MSC3.2.2实例定义：代表某种实体，具有该实体的所有属性。构成：实例头部、实例轴、实例结束符、终止符。instanceheadsymbol::=in