| 用基本ASM定义SDL动态语义 |
| |
| 引用本文： | 赵宇虹,艾波. 用基本ASM定义SDL动态语义[J]. 吉林大学学报(信息科学版), 2002, 20(2): 31-36 |
| |
| 作者姓名： | 赵宇虹 艾波 |
| |
| 作者单位： | 京邮电大学,计算机科学与技术学院,北京,100876 |
| |
| 基金项目： | 信息产业部国际电信联盟标准化对口项目;97-T003; |
| |
| 摘 要： | 提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架。由于SDL的复杂性，重点介绍了用ASM模拟SDL状态机交替工作方式，创建agent和procedure实例以及复合状态应用。该方法简化了当前用分布式ASM定义的SDL动态语义方法。
|
| 关 键 词： | SDL语言 形式定义 动态语义 抽象状态机（ASM） |
| 文章编号： | 1671-5896(2002)02-0031-06 |
| 修稿时间： | 2002-04-10 |
Define dynamic SDL semantics with basic ASM |
| |
| ZHAO Yu hong,AI Bo. Define dynamic SDL semantics with basic ASM[J]. Journal of Jilin University:Information Sci Ed, 2002, 20(2): 31-36 |
| |
| Authors: | ZHAO Yu hong AI Bo |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
