电信协议工程与形式化方法

摘要

通过分析电信协议的特点以及目前在开发电信协议中遇到的困难,提出了用电信协议工程的方法来开发电信协议,并详细概述了电信协议工程的各个环节,介绍了电信协议工程的核心--形式化方法和目前已被标准化并在电信领域应用较广泛的一些形式化方法:SDL(Specification and Description Language), MSC(Message Sequence Charts) , ASN.1(Abstract Syntax Notation One), TTCN(Tree and Tabular Combined Notation),最后总结了采用形式化方法进行电信协议分析和设计的优势.