第4章节-协议形式描述语言(3-LOTOS).ppt

第 4 章 协议形式描述语言（3-LOTOS） 内容提要 LOTOS: 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) LOTOS: Overview LOTOS与基于扩展FSM模型的一些语言不同，它不关心进程内部的状态与动作，而是依据对各进程外观行为的时态次序进行描述，达到对整个系统功能描述的目的。 LOTOS是一种数学概念很强的语言，它主要基于Milner开发的进程代数的概念以及柏林工业大学的抽象数据类型ACI ONE。 近几年来，对LOTOS作了不少的扩展，如LOTOS的图形表示G-LOTOS(ISO/IEC 8807/DAM1, 1989)。 LOTOS: Overview LOTOS适用于描述协议、分布处理和并行处理。 ISO-A定义了两个主要概念：模块(Module)和通道(Channel)。模块是一说明单位，其行为由ISO-B和ISO-C两组的语言来描述。模块可再细分为子模块，各模块间通过通道进行交互。 LOTOS将一个系统看做多个相互作用的子进程组成的进程，每个子进程又是由多个子进程构成。 内容提要 LOTOS中的数据类型 LOTOS的数据类型源自于抽象数据类型语言ACT ONE，与前面介绍的SDL的数据类型很相似。 Example: Boolean类型定义 type Booleans is sorts bool opns T, F : - bool not : bool - bool and : bool, bool - bool or : bool, bool - bool eqns of sort bool not(T) = F; not(F) =T; T and T =T; T and F = F; F and T = F; F and F =F; T or T = T; T or F =T; F or T = T; F or F = F; endtype 数据类中的继承 type BasicBooleans is sorts bool opns T, F : - bool not : - bool-bool eqns of sort bool not(T) = F; not(F) = T; endtype type Booleans is BasicBooleans opns and: bool, bool - bool or : bool, bool - bool eqns of sort bool T and T =T; T and F = F; F and T = F; F and F =F; T or T = T; T or F =T; F or T = T; F or F = F; endtype 数据类中的继承 一个类可以继承多个其