协议工程发展在20多年的时间里，协议工程的研究有了长足的进步，大致可分为三个阶段

(1)研究各种形式描述阶段(1968年~1979年)这个阶段人们提出各种描述协议的模型，主要包括这样几种:有穷自动机，形式语言，Petri网，高级程序设计语言以及一些混合模型

此外还有用时态逻辑和抽象代数语言描述协议

各种形式描述技术都得到了实际应用

(2)协议及其形式描述的标准化阶段(1979年~1985年)人们在验证协议正确性的过程中发现协议实现中的错误主要是由于协议文本本身的描述(用自然语言形式)就存在着二义性或矛盾之处

1976年由CCITT确认的SDL，经多年广泛的修改和提高，是一种基于扩展状态变跃图和抽象数据类型(ACT ONE)的混合技术

SDL已被电信公司广泛用于描述电子交换系统

ISO在1988年公布了两个国际标准文本Estelle与LOTOS，并提供了用它们描述的运输层和会话层等协议文本，为协议工程打下基础

Estelle也基于扩展的状态变跃模型，但使用PASCAL语法和数据类型

80年代初有人试图协调Estelle和SDL，终因不能有共同的语义模型而失败

(3)协议工程阶段(1985年以后)这一阶段人们开始研究基于ISO或CCITT建议的协议开发方法

然而，协议工程目前主要的问题仍是形式技术和方法的研究和开发，许多专家学者按照协议工程的形式方法，经过一轮或几轮协议软件系统的实现后，都感到形式技术的重新研究是当前协议工程深入的关键

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。