SDL的静态语义定义框架  

Static Semantic Definition of SDL

作　　者：倪朝[1] 黄洁[1] 艾波[1] 

机构地区：[1]北京邮电大学计算机科学与技术学院,北京100876

出　　处：《通信学报》1999年第8期69-74,共6页Journal on Communications

摘　　要：Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要，本文对 Ｓ Ｄ Ｌ 现有的静态语义定义方法进行了深入的分析，提出了一种基于抽象语法树和谓词演算的 Ｓ Ｄ Ｌ 静态语义定义方法。With the ongoing work to improve SDL,it has become apparent that a new formal semantic of SDL is to be defined.In this paper,from an analysis of the current static semantics some problems and shortcomings are identified.Based on the concept of abstract syntax tree and predicate calculus,a proposal for the complete static semantic model for SDL is defined. The suitability of the proposed method for the key elements of SDL is also shown.

关 键 词：SDL 静态语文 抽象语法树 谓词演算 SDL语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]