协议是计算机网络的灵魂，随着网络的不断发展，协议具有了空间分布性、并发性、异步性、不稳定性和多样性，这使得再也不可能靠直觉来设计出高质量的协议以及进行协议测试。由此兴起了一门新的学科：协议工程（ProtocolEngineering，PE）。PE在协议的设计、维护和测试的各个活动中严格采用形式化的方法、技术和语言，所以形式描述技术在协议工程中具有十分重要的地位，因此成为各界研究的热点。E-LOTOS（Enhancements to LOTOS）作为在协议测试中使用的主要形式描述技术之一，是LOTOS（Language of Temporal Ordering Specification）的增强版。图形E-LOTOS（Graphic E-LOTOS，GE-LOTOS）是E-LOTOS的图形表示形式，GE-LOTOS使用直观可视化的方式对协议进行描述。本论文在对E-LOTOS深入研究的基础上，通过对已有的E-LOTOS图形表示进行研究，对原有GE-LOTOS进行了修改、扩充，给出了一套完整的图形表示；给出了从文本E-LOTOS到GE-LOTOS进行自动转换的设计思想，并实现了具有通用性的转换工具。进一步设计出了具有良好通用性的GE-LOTOS执行器。并对BGP-4进行了应用。
本文来源: https://www.lw50.cn/article/750b3b4933d82bffaf3ee281.html