第3讲_网络协议及其设计方法.ppt

* * * * * PE：协议实体 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 官方、民间 * * * * * * * * * PetriNet: 状态变迁例子（Cont.） ? ?? = (0, 2, 2, 2, 0) t2发生点火后 ??? = (0, 2, 1, 0, 0) 不能再发生任何点火 p1 p2 p3 p4 p5 t1 t2 t3 ·· · p1 p2 p3 p4 p5 t1 t2 t3 ·· ·· ·· * PetriNet: 状态变迁类型 顺序变迁。如图(a)所示。只有当t1点火后t2才能点火。 并发变迁，如图(b)所示。t1和t2可同时(当然也可以单独)点火。 互斥（冲突）变迁，如图(c)所示。t1和t2中只能有一个点火。一个点火后另一个就不能再点火了。 t1 t2 · · · t1 t2 · · t1 t2 · (a) (b) (c) * PetriNet: Research and Applications 当协议较复杂时Petri网同样会出现过多的位置和变迁，以致很难在图上将协议描述清楚。 由于Petri有标记及点火机制，使得Petri网在验证协议的正确性方面成为很有用的工具。 除了可将Petri网用于协议描述外，还可利用Petri网进行协议验证和分析、辅助测试和实现等。 Petri网必威体育精装版的应用还包括通信协议的自动转换，如根据TCP/IP协议和SPX/IPX协议的Petri网描述分析二者的等价性，可以生成协议智能转换器。 * PetriNet: Research and Applications (Cont) 自然语言描述的协议系统到Petri网系统的转换，相应的计算机辅助工具的开发，中间语言、一般模型、转换算法和规则的建立。 协议Petri网描述到协议实现的自动化，建立Petri网编译系统，实现网系统到目标代码转换的算法和模型。 Petri网节点和可达状态的爆炸，包括适当的高级网系统和分层网系统建立、网系统的合成、化简和协议工程工作站的建立。 Petri网模型应能支持协议描述、协议验证、协议实现、性能分析、一致性测试等协议工程的各个活动。 * SDL: History 早在70年代初期(1972年)，国际电报电话咨询CCITT内的一个研究小组就开始研究协议的规范及其描述语言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的表示能力并简化了接口。 目前的版本SDL-2000是1999年更新的，其中对面向对象的特征进行了更多的扩展，以便可以更好地支持对象建模和代码生成。 为了区分不同年份制定的SDL标准，通常用“SDL-yy”的形式来表示在yy年制定的SDL标准。例如，SDL-92表示1992年发表的SDL标准。 * SDL: Overview SDL语言是一种主要针对电信系统的需要而研制的面向对象的形式描述语言，比较适于描述复杂的实时应用，被电信公司广泛用于描述电子分组交换系统。 它对系统的结构、行为和数据有较强的描述能力，例如电信系统中的呼叫处理、维护和故障处理、系统控制、数据通信协议等。 SDL是一种基于扩展有限状态机和抽象数据类型的混合技术。同其它的形式描述语言一样，SDL既可较粗略地描述系统的，亦可描述系统的详细设计。 一个抽象数据类型包括： 数据对象的一个集合； 作用于这些数据对象的抽象运算的集合； 这种类型对象的封装，即除了使用类型中所定义的运算外，用户不能对这些对象进行操作 * SDL: Overview (Cont.) 一般不将它作为实现语言来使用，但是从SDL描