E-LOTOS的图形化编译软件的扩充和完善

在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程序的功能.此外,还对原编译软件的图形移动和图形扩展功能进行了完善.最后将由E＿LOTOS描述后的部分RIP协议用该软件转化为GE＿LOTOS.

从E-LOTOS到图形E-LOTOS的一个编辑和自动转换的编译软件

Ｅ－ＬＯＴＯＳ是形式描述技术ＬＯＴＯＳ的增强版．本文首先提出了一种Ｅ－ＬＯＴＯＳ的图形表示方法，称为图形Ｅ－ＬＯＴＯＳ（即ＧＥ－ＬＯＴＯＳ）．然后利用面向对象程序设计语言Ｊａｖａ 开发出了一个从文本Ｅ－ＬＯＴＯＳ到图形Ｅ－ＬＯＴＯＳ编辑和自动转换编译工具软件．该工具软件可以把Ｅ－ＬＯＴＯＳ以抽象层的形式体现出来．

从增强的LOTOS(E-LOTOS)说明到Petri网的转换

Ｅ－ＬＯＴＯＳ对ＬＯＴＯＳ的描述能力进行了多方面增强，Ｐｅｔｒｉ网是分析系统的有效工具，本文提出一种从Ｅ－ＬＯＴＯＳ说明到Ｐｅｔｒｉ网的转换方法。

图形E-LOTOS的一个编辑软件和执行算法

给出了图形Ｅ－ＬＯＴＯＳ编辑软件的主要组成和特点，同时提出了图形Ｅ－ＬＯＴＯＳ的一种执行算法．试图为今后的系统设计、验证、执行和测试工作提供一个良好的环境．

自动产生TTCN测试套以及对RIP协议的应用

对协议测试套的产生大部分都是手工寻找的,介绍一个在GE-LOTOS的基础上自动产生TTCN测试套的工具,该工具是基于由形式描述技术语言E-LOTOS转换成的GE-LO-TOS.并对Internet上的一个标准路由信息协议(RIP协议)进行了TTCN测试套的应用.