第4章-协议形式描述语言(1-SDL).ppt

第 4 章 协议形式描述语言（1-SDL） 内容提要 SDL: History 早在70年代初期(1972年)，国际电报电话咨询CCITT(它的职能现由ITU-T代替)内的一个15人(分别来自贝尔、爱立信、Motorola等大的公司或组织)的研究小组就开始研究协议的规范及其描述语言SDL(Specification and Description Language) 在1976年提出了SDL的初步定义文本，建议书Z.101~Z.103 (或称为Z.100系列建议书)，开发了基本的图形描述语言。 1980年修订为Z.101~Z.104，1984年又进行了扩充（加入了结构和数据，并使SDL的定义更加严格）。 为了便于协议的具体实现和验证，1984年CCITT的第Ⅶ研究组又提出了面向PASCAL的SDL，X.250建议书。 SDL: History (Cont.) 1988，1992，1996年又进行了修订。在1992的修订中，加入了面向对象的特点，这一次改动最大。 在1992年的版本基础上，CCITT又对SDL作了进一步的修订，降低了许多规则的要求使得SDL语言更容易理解和更灵活地使用，形成了1996版的SDL。该版本大大扩充了SDL的表示能力并简化了接口。由于改动较小，最终只是作为附录加入1992年的版本。 目前的版本SDL-2000是1999年更新的，其中对面向对象的特征进行了更多的扩展，以便可以更好地支持对象建模和代码生成。 正在制定SDL-2010 为了区分不同年份制定的SDL标准，通常用“SDL-yy”的形式来表示在yy年制定的SDL标准。例如，SDL-92表示1992年发表的SDL标准。 SDL: Overview SDL语言是一种主要针对电信系统的需要而研制的面向对象的形式描述语言，比较适于描述复杂的实时应用。 它对系统的结构、行为和数据有较强的描述能力，例如电信系统中的呼叫处理、维护和故障处理、系统控制、数据通信协议等。 SDL是一种基于扩展有限状态机和抽象数据类型的混合技术。同其它的形式描述语言一样，SDL既可描述比较粗的系统的描述，亦可描述系统的详细设计。 SDL: Overview (Cont.) 一般不将它作为实现语言来使用，但是从SDL描述的规范自动转换成某种编程语言是完全可能的，有很多这样的工具出现。 另外，可以将SDL同其它的语言结合起来使用，例如，与MSC(Message Sequence Chart, Z.120)，ASN.1(Abstract Syntax Notation One, Z.105), TTCN(Tree and Tabular Combined Notation, ISO/IEC 9646-3)结合起来使用。 SDL: 三种语法形式 三种语法： 图形表示的SDL/GR(Graphical Representation) 比较适合于描述系统的结构和控制流 用文字短语表示的SDL/PR(Textual Phrase Representation) 比较适合于机器处理 程序语言形式的SDL, X.250 为了保证等价性(这样就可互相转换)，SDL的语义严格地和三种具体语法定义分开来。 SDL的语义是利用公共语言模型的抽象语法来定义的。 此外，还提供了(但不是建议书的内容)公共语言模型的数字定义。 SDL/PR使用的主要符号 内容提要 SDL的静态结构 在SDL中，把整个开放系统说明为由许多互连的抽象机(扩展的有限状态机FSM)所组成。每个抽象机的动态行为用它与其他机器或环境的交互和对交互数据的操作来描述。 一个SDL的静态结构用系统(System)、功能块(Block)进程(Process)和过程(Procedure)和通道(Channel)来描述 在SDL中，将系统、功能块、进程等称为代理(Agent) 各个代理用块图(Block Diagram)来表示，一个代理可以对应多个块图。 各块图以边框(Frame)为分界，一主要包括四个部分：块图的类型和标记、页号、文本记号、块图的主要内容 SDL的静态结构 SDL structure and Communication Channels Specification of System 在一个SDL应用中，一个系统的描述规范由以下几部分组成： 一个或多个功能块。功能块通过通道互相连接，并通过通道连接到系统边界。 在描述功能块时，进程、服务类型、过程(Procedure)、数据类型和信号均可作为功能块描述规范的一部分。 SDL进程可保留和处理数据。数据受进程的局部变量的约束。利用信号，数据值可在进程之间传送，也可传向环境或从环境传来。进程的局部变量由该进程给出定义。 所有通道、信号(Signal)、信号表(Si