用基本ASM定义SDL动态语义

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

摘要

提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架.由于SDL的复杂性,重点介绍了用ASM模拟SDL状态机交替工作方式,创建agent和procedure实例以及复合状态应用.该方法简化了当前用分布式ASM定义的SDL动态语义方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵宇虹	京邮电大学计算机科学与技术学院	1	4	1.0	1.0
2	艾波	京邮电大学计算机科学与技术学院	1	4	1.0	1.0