协议是网络和通信的核心,协议形式化理论的研究是一项十分重要的基础性、前瞻性和创新性的研究.它主要包括协议形式化描述、协议验证、协议实现、协议测试等方面的理论和方法的研究,其中协议形式化描述技术(FDT)贯穿于整个协议开发过程的始终,是协议工程学的基础.目前,常用的协议形式化描述技术主要包括:有限状态机(FSM)模型、Petri网模型、通讯进程演算(CCS)等模型技术;以及Estelle语言、LOTOS语言和SDL语言等形式化描述语言.这些方法有其存在的价值,但也都有不同程度上的缺陷,因此,非常有必要继续研究和探索这一领域的新理论和新方法.该文提出了一种基于RSL规范语言的协议形式化描述技术,以拓展对这一领域的探索,推动协议形式化理论的发展.该论文的工作主要包括以下几个方面:●研究和分析比较了目前常用的协议形式化描述技术的特点;●深入研究和分析RSL规范语言的背景和特点,研究将RSL规范语言应用于协议形式化描述的可行性和必要性;●对RSL规范语言进行扩充,使其适用于协议形式化描述;●研究和分析基于RSL的协议形式化描述技术的特点;●研究如何将面向对象的思想与基于RSL的协议形式化描述技术相结合,增强RSL对协议的描述能力;●采用基于RSL的协议形式化描述技术,对一些实际的通信协议进行形式化描述,以验证它的描述能力;●初步研究和探讨如何将基于RSL的协议形式化描述技术应用于协议测试序列的生成,以提高协议测试的覆盖率和测试效率.