|
|||||
|
|
| 一种有效的形式描述技术:GE-LOTOS | |
| 引用本文： | 赵玉兰,叶新铭,贾斌.一种有效的形式描述技术:GE-LOTOS[J].内蒙古大学学报(自然科学版),2000,31(3):325-328. |
| 作者姓名： | 赵玉兰 叶新铭 贾斌 |
| 作者单位： | 1. 内蒙古大学计算机学院,内蒙古,呼和浩特,010021 2. 内蒙古铸锻厂,内蒙古,呼和浩特,010058 |
| 基金项目： | 国家自然科学基金资助项目!( 69863 0 0 1 ) |
| 摘 要： | 利用面向对象程序设计语言Ｊａｖａ完善从体ＬＯＴＯＳ到ＣＥ－ＬＯＴＯＳ的工具软件，使得以抽象层形式体现出来的ＧＥ－ＬＯＴＯＳ的某一子过程或所有子过程动态展开，而且为了方便用户，满足工业界和其它领域的要求，给出了一个从ＧＥ－ＬＯＴＯＳ到Ｅ－ＬＯＴＯＳ描述的一个算法。 |
| 关 键 词： | GE－LOTOS 形式描述技术 路由协议测试 工具软件 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |