从E-LOTOS到GE-LOTOS的自动转换工具与GE-LOTOS执行器的设计与实现

论文摘要

协议是计算机网络的灵魂，随着网络的不断发展，协议具有了空间分布性、并发性、异步性、不稳定性和多样性，这使得再也不可能靠直觉来设计出高质量的协议以及进行协议测试。由此兴起了一门新的学科：协议工程（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进行了应用。

论文目录

• 摘要
• ABSTRACT
• 目录
• 图表目录
• 第一章 绪论
• 1.1 研究背景及现状
• 1.2 课题来源及论文目标
• 第二章 协议工程和形式描述技术
• 2.1 协议工程简介
• 2.2 形式化方法、形式描述技术（FDT）、形式描述语言（FDL）
• 2.3 形式描述语言E-LOTOS
• 第三章 GE-LOTOS
• 3.1 GE-LOTOS的提出
• 3.2 GE-LOTOS的图形样式
• 3.3 GE-LOTOS的性质
• 第四章 从文本E-LOTOS到GE-LOTOS转换工具的设计与实现
• 4.1 转换工具界面
• 4.2 自动转换工具的设计
• 4.2.1 文本E-LOTOS描述的转换
• 4.2.2 树的建立
• 4.2.3 GE-LOTOS的绘制
• 4.3 转换工具软件对BGP-4的应用
• 4.3.1 对BGP-4的研究和描述
• 4.3.2 对BGP-4的应用
• 第五章 GE-LOTOS执行器的设计与实现
• 5.1 执行器界面
• 5.2 执行器的设计
• 5.2.1 设计思想
• 5.2.2 执行规则和数据结构
• 5.2.2.1 执行规则
• 5.2.2.2 数据结构
• 5.2.3 算法思想
• 5.3 执行过程示例
• 第六章 总结和展望
• 6.1 总结
• 6.2 未来的工作
• 附录
• 参考文献
• 致谢