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

• 作者: 倪朝 王颖 艾波
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: SDL 形式语义定义 静态语义 动态语义
• 年，卷（期）: 2000,（4）
• 所属期刊栏目: 学术通信
• 页码范围: 75-79
• 页数: 5页
• 分类号: TP312
• 字数: 3753字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2000.04.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王颖	北京邮电大学计算机科学与技术学院	24	174	8.0	12.0
2	艾波	北京邮电大学计算机科学与技术学院	20	541	8.0	20.0
3	倪朝	北京邮电大学计算机科学与技术学院	4	31	3.0	4.0