基于Lotos的面向宏的规范风格.pdfVIP

第26卷第1期 计算机工程与设计 2005年1月 V01．26No．1 and Jan．2005 ComputerEngineeringDesign 基于Lotos的面向宏的规范风格 王继曾， 张键， 王小刚 (兰州理工大学电信工程学院，甘肃兰州730050) 想，构思了一种新的Lotos描述风格，即面向宏的规范风格，并分析了基于此风格的规范进程设计方法，以及将此进程应 用于系统实现的方法。该风格适合于描述分层的、内部模型具有相似结构的分布式系统。 关键词：Lotos；规范风格；结构模型；协议；宏 中图法分类号：TP311文献标识码：A 文章编号：1000—7024(2005)01．0047—03 Macro—oriented basedonLotos specificationstyle Ⅵ【f蝌G ZHANGWANG Ji—zeng， Jian， Xiao-gang ofElectricalandInformation ofScienceand (College Engineering，LanzhouUniversity Technology,Lanzhou Abstract：Thestructureofa modelcanbe lotos inthe newlotos system presented styles by specification describingspecification．A namedmacro-orientedisconceived theideaofmacroinfour specificationstyle style byintroducing specificationstyles thenwiththe to is howto the tothe is illuminated，and style，howspecifyspecificationprocess applyprocesssystem alsodescribed．Theisfoundoutfor distributedwhichare andhavesimilarstructures． style describing systems layered Keywords：Lotos；specificationstyle；structuremodel；protocol；macro 个规范，那样规范会存在许多不必要的冗余。本文在Lotos规 1 引 言 范风格中引入了宏的思想，很好地解决了这个问题。 Lotos作为被ISO标准化的形式描述技术之一，主要用来 2 Lotos规范风格概述 设计分布式系统，特别是为OSI服务和协议。现在Lotos已经 被广泛用来描述大型数字通信系统。Lotos不像其它形式描 形式描述技术Lotos共有4种描述规范风格峙”，可应用于 述技术一样是基于对系统的状态描述，它是通过在所谓的事 对协议和服务的描述，这些风格根据不同的目的，内含等级抽 件门产生的外部可观察的事件之