论文部分内容阅读
协议工程是计算机通信及网络研究的一个新的重要的领域，有许多值得研究的理论与技术问题，其中最基本的也是最重要的就是协议形式化描述技术。本文首先研究了协议工程和协议形式化描述技术，重点研究了几种主要的形式化描述技术的数学模型，并介绍了五种国际标准形式化描述语言ESTELLE、LOTOS、SDL、UML和MSC。然后，对规范说明和描述语言SDL进行深入研究，其中重点研究了SDL语言的动态模型，并对SDL语言中的元进程的定义进行改进，使用改进后的元进程可以更准确的描述动态模型。接下来，在概要介绍PPP协议规范的基础上着重理解PPP协议规范中的LCP链路控制协议，深入研究建立链路的消息流程和状态转换机制以及相关协议层之间的接口。结合协议工程的理论基础，利用TelelogicTau软件对PPP链路控制协议进行形式化开发，包括协议形式化描述、仿真、验证、代码生成和测试。使用形式化描述技术可以显著加快协议软件的开发速度，最大程度地保证协议软件的质量。最后，文章进一步研究了目前国际上FDT的发展方向。