首页 | 本学科首页   官方微博 | 高级检索  
     检索      

从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件
引用本文:赵玉兰,叶新铭.从E—LOTOS到图形E—LOTOS的一个编辑和自动转换的编译软件[J].内蒙古大学学报(自然科学版),1999,30(6):774-778.
作者姓名:赵玉兰  叶新铭
作者单位:内蒙古大学计算机学院!内蒙古呼和浩特010021
摘    要:E-LOTOS是形式描述技术LOTOS的增强版.本文首先提出了一种E-LOTOS的图形表示方法,称为图形E-LOTOS(即GE-LOTOS).然后利用面向对象程序设计语言Java 开发出了一个从文本E-LOTOS到图形E-LOTOS编辑和自动转换编译工具软件.该工具软件可以把E-LOTOS以抽象层的形式体现出来.为将来的进一步研究提供了一个良好的环境

关 键 词:协议一致性测试  E-LOTOS  LOTOS  形式描述技术

An Edit and Compile Software which can automatically Translate E LOTOS into Graphic E LOTOS
ZHAO Yu lan,YE Xin ming.An Edit and Compile Software which can automatically Translate E LOTOS into Graphic E LOTOS[J].Acta Scientiarum Naturalium Universitatis Neimongol,1999,30(6):774-778.
Authors:ZHAO Yu lan  YE Xin ming
Abstract:
Keywords:
本文献已被 CNKI 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号