摘要
SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。
With the ongoing work to improve SDL,and a new version called SDL 2000 to pass the standardization bodies soon,it has become apparent that a new formal semantic of SDL is to be defined In this paper a proposal for a complete formal semantic model for SDL is defined From an analysis of the current semantics some problems and shortcomings are identified The suitability of the proposed model to solve these problems along with its key elements is briefly shown
出处
《通信学报》
EI
CSCD
北大核心
2000年第4期75-79,共5页
Journal on Communications
关键词
SDL
形式语义定义
静态语义
动态语义
SDL
formal semantic definition
static semantics
dynamic semantics
