SDL静态语义定义研究

• 作者: 艾波 赵宇虹
• 来源期刊: 吉林大学学报(信息科学版)
• 学科: 工学
• 关键词: SDL语言 形式定义 静态语义 抽象状态机(ASM)
• 年，卷（期）: 2002,（1）
• 所属期刊栏目: 信息与通信工程
• 页码范围: 39-44
• 页数: 6页
• 分类号: TN915.04
• 字数: 6445字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-5896.2002.01.008

摘要

在分析当前SDL(Specification and Description Language)静态语义定义方法的基础 上,从另一角度给出了用抽象状态机(AS M:Abstract State Machine)定义SDL静态语义定义的方法.与现有方法相比,该方法不直接使用语法树,而是利 用静态和动态函数定义静态语义,解决了现行方法中"="引起的二义性问题,并且很容易通过改动现有方法来实现.

作者信息

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