原创力文档- 1、本文档共6页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
一种用基本ASM定义SDL静态语义的方法.pdf
年 月 北 京 邮 电 大 学 学 报 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
文档评论（0）