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

Telecommunication protocol engineering and formal method

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

Due to the rapid technological progress in the telecommunication industry, telecommunication protocols and the programs that implement them are becoming complicated. New methods are needed to specify, validate and test these protocols and programs. The features and the characters of telecommunication protocols are analysed and the challenges are listed. Then, the new research and development method, the telecommunication protocol engineering which can be regarded as a subset of protocol engineering, is suggested and its whole process is described. The formal method is the core of telecommunication protocol engineering, so several standardized formal methods are introduced which have been used widely in the telecommunication field, such as SDL(Specification and Description Language), MSC (Message Sequence Charts), ASN. 1 (Abstract Syntax Notation One) and TTCN(Tree and Tabular Combined Notation). The benefits of using these methods are summarized.