SDL-2000动态语义定义方法

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

摘要

讨论了SDL-2000的建议Z.100的附件F中用分布式实时抽象状态机(ASM: Abstract State Machine)形式地定义SDL(Specisification and Descripiton Language)动态语义的方法.与基于通信顺序进程的方法相比,该方法能够更直接地定义SDL的动态语义,具有易于维护和可读性好等特点.

作者信息

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