[工学]第4章-协议形式描述语言2-ESTELLE.pptVIP

第 4 章 协议形式描述语言（2-ESTELLE） 内容提要 Estelle: History 在70后代末，ISO也开始研究自己的形式描述技术。在1980年，ISO/TC97/SC16/WG1正式成立了FDT特别小组，下分A、B和C三个分组： A组研究协议系统的总体结构概念，供B组和C组使用 B组研制扩展的状态变迁模型语言ESTELLE (Extended State Transition model LanguagE) C组研制描述系统外观行为的时态次序语言LOTOS(Language Of Temporal Ordering Specification)。 ISO在1988年确定了这两个语言最后的国际标准文本: ESTELLE(ISO 9074, 1989)和 LOTOS(ISO 8807, 1989) Estelle: History ESTELLE也基于扩展的有限状态机模型，但使用的是Pascal语法和数据类型。而LOTOS是一种基于通信系统演算（CCS）和抽象数据类型语言ACT ONE的形式描述语言。 为了采用统一的FDT，ISO和CCITT的专家们曾召开多次联合会议，研究两个组织的FDT的现存差别和互相靠拢的方法，并决定将ISO的ESTELLE和LOTOS作为CCITT的建议书，由第X研究组进行研究。但终因没有共同的语义模型而失败。 Estelle: Overview ESTELLE也是基于扩展的FSM语言，它的扩展FSM模型与SDL的基本一致，但在某些概念上有所不同。扩展主要体现在： 用变量和变量类型表示状态空间 用参数表示交互 用优先级选择变迁 操作与变迁相联系(Mealy型自动机) 交互点表示输入和输出 对变迁的非确定性选择 上述扩展增强了Estelle的描述能力，变量和参数的引入还减小了状态空间 Estelle: Overview ESTELLE主要用于分布式、并行信息处理系统，通信协议和服务等。它的大部分应用主要集中在对ISO应用层协议的描述。 ISO-A定义了两个主要概念：模块(Module)和通道(Channel)。模块是一说明单位，其行为由ISO-B和ISO-C两组的语言来描述。模块可再细分为子模块，各模块间通过通道进行交互。 ESTELLE模型共分为4个级别的抽象，从高到低为：系统规范(specification)、模块(module)、变迁(transition)、动作和进程(action and process) Estelle 模型 Estelle 模型 Estelle 模型 内容提要 模块类型 根据模块中是否包含有状态变迁，分三种类型： 活跃模块(active module)。模块体中包含有状态变迁的模块称为活跃模块。 非活跃模块(inactive module)。模块体中不包含状态变迁的模块称为非活跃模块。 特征模块(attributed module)。如果模块的模块头定义与多个模块体定义相关联，并且至少有一个模块体中包含有状态变迁，则称这种模块为特征模块。 模块类别 在定义模块头时，一般需要指定模块类别。模块类别指明模块的工作方式。 系统进程模块(用关键字systemprocess表示)、 系统活动模块(用关键字systemactivity表示)、 进程模块(用关键字process表示)和 活动模块(用关键字activity表示)。 其中，类别为systemprocess和systemactivity的模块统称为系统模块。 系统模块被用来表示描述规范中的各个独立的通信系统。 顶级模块specification也可以带有类别属性，表示specification描述一个惟一的系统。 模块类别（Cont.） 如果一个系统模块的类型为systemprocess，则该系统模块内的各个子模块可以并行执行，而父模块则优先于子模块执行。 如果一个系统模块的类型为systemactivity，则该系统模块内的各个子模块只能串行运行，具体哪个子模块执行则是随机选择的，父模块仍然优先于子模块执行。 模块嵌套 模块是可以嵌套至任何深度，规则如下： 活跃模块头定义必须指明“模块类别”，而非活跃模块头定义中可以不指明“模块类别”。 系统模块不能嵌套在有特征的模块中，即系统模块的父模块必须是非特征模块。 特征模块的子模块必须是特征模块。 同一级可以有多个系统模块。 类别为systemprocess的模块的子模块的类别可以是process或activity；而类别为systemactivity的模块的子模块的类别必须是activity。 类别为process的模块的子模块的类别必须是process；同样，类别为activity的模块的子模块的类别必须是a