对形式描述语言E-LOTOS的进一步研究及应用

摘要：

本文根据实际需要,按照形式描述语言E-LOTOS的语法和语义,对现有的E-LOTOS的某些功能进行了改进和完善,对”1”中提出的对形式描述语言E-LOTOS的图形表示进行了进一步研究;作为应用,对路由信息协议(RIP协议)进行了E-LOTOS的说明并使用改进和完善了的工具软件(把E-LOTOS转换成GE-LOTOS)对RIP协议进行了GE-LOTOS的转换.

关键词： E-LOTOS GE-LOTOS 形式描述技术 RIP协议.

作者: 赵玉兰 叶新铭

作者单位: 内蒙古大学计算机学院,呼和浩特,010021

会议类型: 国内会议

会议名称: 第三届全国CSCW暨第一届全国AIN学术会议

会议地点: 呼和浩特

会议语种:中文

页码: 134-140

在线出版日期: 2002-07-10（万方平台首次上网日期，不代表论文的发表时间）