论文部分内容阅读
通过分析电信协议的特点以及目前在开发电信协议中遇到的困难,提出了用电信协议工程的方法来开发电信协议,并详细概述了电信协议工程的各个环节,介绍了电信协议工程的核心——形式化方法和目前已被标准化并在电信领域应用较广泛的一些形式化方法:SDL(SpecificationandDescriptionLanguage),MSC(MessageSe-quenceCharts),ASN.1(AbstractSyntaxNotationOne),TTCN(TreeandTabularCombinedNotation),最后总结了采用形式化方法进行电信协议分析和设计的优势.
By analyzing the characteristics of the telecommunication protocol and the difficulties encountered in the development of the telecommunication protocol at present, this paper proposes the development of the telecommunication protocol by using the telecommunication protocol engineering method, and gives a detailed overview of all aspects of the telecommunication protocol engineering. It also introduces the core of the telecommunication protocol engineering - - Formal methods and some formal methods that have been standardized and widely used in the field of telecommunications: SDL (SpecificationandDescriptionLanguage), MSC (MessageSe-quenceCharts), ASN.1 (AbstractSyntaxNotationOne), and TTCN (TreeandTabularCombinedNotation). Finally, The Formal Approach to Advantages of Telecom Protocol Analysis and Design.