一种用基本ASM定义SDL静态语义的方法.pdfVIP

年 月 北 京 邮 电 大 学 学 报 Feb . 2004 2004 2 第 卷 第 期 27 1 JOurnal Of Beijing University Of POsts and TelecOmmunicatiOns VOl. 27 NO. 1 文章编号, 1007-5321(2004) 01-0055-05 一种用基本ASM 定义SDL 静态语义的方法 赵宇虹 艾 波 北京邮电大学 计算机科学与技术学院 北京 ( 100876) 摘要 提出直接用基本 定义 静态 , Abstract State Machine SpecificatiOn and DescriptiOn Language 语义的形式方法 其主要特点是 语法域中的元素统一解释为语法值 转换规则定义为 规 , ; ASM 则 映射规则定义为一系列称为 函数的映射函数形式 ; t- . 关 键 词 抽象状态机 语言 静态语义 形式定义 , ; SDL ; ; 中图分类号, TN 915. 04 文献标识码, A Approach to Def ine SDL Static Semantics with basic ASM - ZHAO Yu hOng AI BO (COmputer Science and TechnOlOgy SchOOl Beijing University Of POsts and TelecOmmunicatiOns Beijing 100876 China) Abstract , A fOrmal methOd tO define the static semantics Of SDL (specificatiOn and ) ( ) . descriptiOn language using basic ASM abstract state machine is presented Main features Of this methOd are that elements in syntax dOmains can be interpreted uniguely as syntax values ; transfOrmatiOn rules can be defined as ASM rules ; - . mapping rules can be defined as a series Of mapping functiOns called t functiOns