首页> 中文期刊> 《通信学报》 >SDL形式语义定义现状及其改进

SDL形式语义定义现状及其改进

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用,而SDL-92的形式语义已无法充分满足应用需要,本文分析了现有形式语义定义的基本方法,指出其存在的主要不足,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架.

著录项

来源
《通信学报》 |2000年第4期|75-79|共5页
作者
王颖; 倪朝; 艾波;
展开▼
作者单位

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

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

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

展开▼
原文格式 PDF
正文语种 chi
中图分类程序语言、算法语言;
关键词
SDL; 形式语义定义; 静态语义; 动态语义;

相似文献

中文文献
外文文献
专利

1. SDL-2000的形式语义研究 [J] . 王颖 ,艾波 . 北京邮电大学学报 . 2001,第4期
2. MSDL与C-BML相结合的复杂电磁环境想定定义研究 [J] . 沈莉莉 ,王敏 . 通信对抗 . 2017,第002期
3. 军事想定定义语言MSDL技术研究 [J] . 黄智 ,邱晓刚 . 计算机仿真 . 2008,第008期
4. 一种用基本ASM定义SDL静态语义的方法 [J] . 赵宇虹 ,艾波 . 北京邮电大学学报 . 2004,第1期
5. SDL静态语义定义研究 [J] . 赵宇虹 ,艾波 . 吉林大学学报（信息科学版） . 2002,第001期
6. Chisl：一个可定义多种形式语义的规格说明语言 [C] . 徐永森 . 理论计算机科学“９１”学术年会 . 1991
7. 基于ASM的SDL语义形式定义研究 [A] . 赵宇虹 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号