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

作     者：褚秉华 仇佩亮 褚秉华 

作者机构：浙江大学信息与电子工程系，浙江杭州310027 

出 版 物：《浙江大学学报（工学版）》 (Journal of Zhejiang University：Engineering Science)

年 卷 期：2003年第37卷第1期

页      面：37-41页

核心收录：

学科分类：0810[工学-信息与通信工程] 08[工学] 081001[工学-通信与信息系统] 

主　　题：电信协议工程 形式化方法 协议分析 协议设计 通信实体 通信协议 电信网 

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