| 形式化语言在UMTS开发中的应用 |
| |
| 引用本文： | 严峰,温建中,梅杓春.形式化语言在UMTS开发中的应用[J].江苏通信技术,2002,18(2):11-14,19. |
| |
| 作者姓名： | 严峰 温建中 梅杓春 |
| |
| 作者单位： | [1]南京邮电学院通信工程系，江苏南京210003 [2]南京邮电学院教务处，江苏南京210003 |
| |
| 摘 要： | 由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。
|
| 关 键 词： | 形式化语言 通用移动通信系统 功能规格 描述语言 树表结合表示 抽象语法符号 UMTS |
| 文章编号： | 1007-9513(2002)02-0011-04 |
The Applications of Formal Languages in UMTS Development |
| |
| YAN Feng ,WEN Jian zhong ,MEI Shao chun.The Applications of Formal Languages in UMTS Development[J].Jiangsu Communication Technology,2002,18(2):11-14,19. |
| |
| Authors: | YAN Feng WEN Jian zhong MEI Shao chun |
| |
| Affiliation: | YAN Feng 1,WEN Jian zhong 1,MEI Shao chun 2 |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
