ISO和CCITT的形式描述技术

为了获得协议的精确和无二义性的说明,形式描述技术是需要的。本篇文章中,将介绍ISO和CCITT的形式描述技术。这些技术包括CCITT的SDL和ISO的形式描述语言ESTTELLE和LOTOS。ESTELLE和包含SDL/GR,SDL/PR,与Pascal类的X.250的SDL都是基于扩展的有穷状态机的语言,而LOTOS则是基于系统的可观察行为的时态次序的语言。在本文末尾,将介绍协议工程的概念,并对上述技术作出适当评价。