消息顺序图MSC讲义

《消息顺序图MSC讲义》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、消息顺序图MSCMessageSequenceChart演讲人：周刚电话：38639815E_mail：zhoug@gsta.com学习的目标及任务1、熟悉MSC的基本概念2、熟悉常用的MSC做图方法及相应文字文法的表示3、能够阅读分析较复杂的MSC图4、能够自己分析相关案例，画较简单的MSC流程图3.1概述3.2MSC基础3.3MSC文档3.4MSC结构概念3.1.0MSC是什么3.1.1MSC特点3.1.2MSC实体类型3.1.3定义图形文法的符号说明3.1概述主菜单3.1.0MSC是什么是用来描述多个实体之间和实体

2、与环境之间消息交互顺序的一种形式语言。形式语言：通用建模语言UnifiedModelingLanguageUML消息顺序图MessageSequenceChartMSC规格与描述语言SpecificationandDescriptionLanguageSDL二、MSC的文法：文本文法TextualGrammar图形文法GraphicalGrammar一、MSC的定义：返回3.1.1MSC的特点MSC是一种形式语言（自然语言与形式化共同描述）MSC是一种实用语言（可用于软件开发的整个生命周期）MSC是一种消息跟踪语言

3、（它是专门用来描述通信及事件的发生顺序）MSC支持不完整的规范说明（需求分析初，可以描述不完整的系统行为）MSC是一种图形化语言（它用二维图形来概括通信实例的行为）MSC支持结构化设计（基本MSC图组合成高级MSC图）MSC可与其他方法和语言联合使用（比如与SDL、TTCN的联合）MSC可以描述不允许出现或不可能出现的行为（通过自然语言）返回3.1.2MSC的实体类型MSC文档MSC图实例状态定时器消息通道变量视见域（SCOPE）MSC文档、MSC图1、实体名称的相异性2、实体名称的局部性返回3.1.3图形方法的符号说

4、明<>括号内的符号为非终结符，需进一步定义{}括号内的内容有关联性<>*括号内可选，可以为零或任意次<>+括号内必选，可以出现一次或任意次::=定义符。左边为非终结符，右部为非终结符/终结符串

5、或符，两边为并列关系。符号3.1.3图形方法的符号说明（续）containsisfollowedbyisassociatedwithisattachedtoabove{<>}set词组3.1.

6、3图形方法的符号说明（续）contains词组意义包含MyMSC::=containsMSC引用符MSC图名称3.1.3图形方法的符号说明（续）isfollowedby词组意义与具有上下关联关系::=isfollowedby

7、area>::=isfollowedbyisfollowedby::=isfollowedbyisfollowedby3.1.3图形方法的符号说明（续）isassociatedwi

8、th词组意义附属于，而且一般为文字内容msg::=isassociatedwith消息标识符消息符3.1.3图形方法的符号说明（续）isattachedto词组意义与相连，而且必须为一个或一组图形符号msg::=isattachedto{

9、gestartarea>}消息结束域消息开始域3.1.3图形方法的符号说明（续）isattachedto词组意义与相连，而且必须为一个或一组图形符号::=isattac