| SDL/GR中间语言的设计方法 |
| |
| 引用本文： | 杨放春,陈俊亮. SDL/GR中间语言的设计方法[J]. 北京邮电大学学报, 1990, 13(4): 1 |
| |
| 作者姓名： | 杨放春 陈俊亮 |
| |
| 作者单位： | 北京邮电学院计算机工程系，北京邮电学院计算机工程系 |
| |
| 摘 要： | SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR 图形输入与各类处理工具之间的接口.
|
| 关 键 词： | SDL语言 程控软件规范描述 语言变换 |
Method for Designing Intermediate Language of SDL/GR |
| |
| Yang Fangchun Chen Junliang. Method for Designing Intermediate Language of SDL/GR[J]. Journal of Beijing University of Posts and Telecommunications, 1990, 13(4): 1 |
| |
| Authors: | Yang Fangchun Chen Junliang |
| |
| Abstract: | SDL/GR is an international standard language recommanded by CCITT and used in the field of communications.In this paper,the isomophism concept of algebra system is introduced to define formally intermediate language for SDL/GR. Further,a method for designing systematically this intermediate language is pro- posed that retains semantics equivalence between SDL/GR and its intermediate language.The intermediate language has been used as an interface between SDL/ GR and many precessing tools. |
| |
| Keywords: | SDL language SPC software specification language transformation |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《北京邮电大学学报》浏览原始摘要信息 |
|
点击此处可从《北京邮电大学学报》下载全文 |
