LOTOS在网关体系结构设计中的应用  

Structural Design of A Network Gateway Using the FDT LOTOS

作　　者：姜春艳[1] 

机构地区：[1]厦门理工学院计算机科学与技术系,福建厦门361005

出　　处：《电脑与电信》2007年第6期57-58,79,共3页Computer & Telecommunication

摘　　要：本论文从实践LOTOS语言的角度出发,采用面向约束的LOTOS描述风格对网关体系结构进行形式化描述。In order to practise LOTOS, applied the constraint-o dented style of LOTOS to achieve the formal description of Networking Gateway Architecture.

关 键 词：LOTOS LOTOS规格 网关体系结构 面向约束描述风格 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]