首页> 中文期刊> 《北京邮电大学学报》 >一种用基本ASM定义SDL静态语义的方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《北京邮电大学学报》 |2004年第1期|55-59|共5页
作者
赵宇虹; 艾波;
展开▼
作者单位

北京邮电大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类通信规程、通信协议 ;
关键词
ASM; SDL; 静态语义; 映射函数; 抽象状态机;

相似文献

中文文献
外文文献
专利

1. 用基本ASM定义SDL动态语义 [J] . 赵宇虹 ,艾波 . 吉林大学学报（信息科学版） . 2002 ,第002期
2. SDL静态语义定义研究 [J] . 赵宇虹 ,艾波 . 吉林大学学报（信息科学版） . 2002 ,第001期
3. SDL的静态语义定义框架 [J] . 倪朝 ,黄洁 ,艾波 . 通信学报 . 1999 ,第8期
4. SDL-2000动态语义定义方法 [J] . 赵宇虹 ,艾波 . 吉林大学学报（信息科学版） . 2002 ,第003期
5. 变量定义未使用故障的一种静态测试方法 [J] . 夏玉辉 ,张威 ,李鸣 . 计算机工程与设计 . 2007 ,第003期
6. 一种PLC程序语言指称语义及函数的形式化定义方法 [C] . 肖力田 ,顾明 ,孙家广 . 2011年中国智能自动化会议 . 2011
7. 基于ASM的SDL语义形式定义研究 [A] . 赵宇虹 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号