摘要
由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。
Due to the complexity of the 3G specifications, 3GPP methodology guidelines encourage the use of standardized formal languages. In this document, we start by looking at an overview of the UMTS architecture, and then present some basic concepts and features of the formal languages used in the specifications, followed by a section on how to take advantage of these languages. Using formal languages in UMTS development can simplify and improve testing procedures, and realize the synchronization of the new products and the new standards.
作者
严峰
梅杓春
YAN Feng 1, WEN Jian zhong 1, MEI Shao chun 2(1. Department of Communication Engineering, Nanjing University of Posts and Telecommunications, Nanjing 210003, China; 2. Department of Educational Administration, Nanjing University of Posts and Telecom
出处
《江苏通信技术》
2002年第2期11-14,19,共5页
Jiangsu Communication Technology
关键词
形式化语言
通用移动通信系统
功能规格
描述语言
树表结合表示
抽象语法符号
UMTS
formal language
universal mobile telecommunications system
specification and description language
tree and tabular combined notation
abstract syntax notation number one
