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

• 作者: 仇佩亮 褚秉华
• 来源期刊: 浙江大学学报(工学版)
• 学科: 工学
• 关键词: 协议工程 电信协议工程 形式化方法
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 37-41
• 页数: 5页
• 分类号: TP311.5
• 字数: 6201字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2003.01.008

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	仇佩亮	浙江大学信息与电子工程系	118	1446	17.0	34.0
2	褚秉华	浙江大学信息与电子工程系	2	15	2.0	2.0