形式化语言在UMTS开发中的应用

• 作者: 严峰 梅杓春 温建中
• 来源期刊: 江苏通信技术
• 学科: 工学
• 关键词: 形式化语言 通用移动通信系统 功能规格和描述语言 树表结合表示 抽象语法符号
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 综述·专论
• 页码范围: 11-14,19
• 页数: 5页
• 分类号: TP301.2
• 字数: 3629字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-9513.2002.02.003

摘要

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梅杓春	南京邮电学院教务处	39	234	8.0	14.0
2	严峰	南京邮电学院通信工程系	9	45	3.0	6.0
3	温建中	南京邮电学院通信工程系	4	24	3.0	4.0