摘要
以转换系统为基本模型 ,分析了 SDL动态语义定义的基本需求 ,提出了一种基于 SDL未来发展方向的结构化操作语义定义框架 .
A proposal for a dynamic semantic model of SDL is given in terms of structural operational semantics.The transition systems for both system level and process/channel level are defined with the principle of transition rules.
出处
《北京邮电大学学报》
EI
CAS
CSCD
北大核心
2000年第1期41-45,共5页
Journal of Beijing University of Posts and Telecommunications
基金
信息产业部国际电信联盟对口研究资助项目
关键词
规格描述语言
结构化操作语义
动态语义模型
descriptive languages
specification descriptive languages
operational semantics