10.3969/j.issn.1007-5321.2004.01.012
一种用基本ASM定义SDL静态语义的方法
提出直接用基本Abstract State Machine定义Specification and Description Language静态语义的形式方法,其主要特点是: 语法域中的元素统一解释为语法值;转换规则定义为ASM规则;映射规则定义为一系列称为t-函数的映射函数形式.
抽象状态机、SDL语言、静态语义、形式定义
27
TN915.04
信息产业部国际电信联盟标准化对口项目97-T003
2004-03-26(万方平台首次上网日期,不代表论文的发表时间)
共5页
55-59