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

• 作者: 艾波 赵宇虹
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 抽象状态机 SDL语言 静态语义 形式定义
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 论文
• 页码范围: 55-59
• 页数: 5页
• 分类号: TN915.04
• 字数: 3013字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2004.01.012

摘要

提出直接用基本Abstract State Machine定义Specification and Description Language静态语义的形式方法,其主要特点是: 语法域中的元素统一解释为语法值;转换规则定义为ASM规则;映射规则定义为一系列称为t-函数的映射函数形式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵宇虹	北京邮电大学计算机科学与技术学院	6	5	2.0	2.0
2	艾波	北京邮电大学计算机科学与技术学院	20	541	8.0	20.0