摘要
SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR 图形输入与各类处理工具之间的接口.
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.
关键词
SDL语言
中间语言
程控软件
通信
SDL language
SPC software specification
language transformation
