第章协议形式描述语言LOTOS.pptVIP

第 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 LO