SDL-2000的形式语义研究  

Formal Semantics for SDL-2000

作　　者：王颖[1] 艾波[1] 

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

出　　处：《北京邮电大学学报》2001年第4期58-61,共4页Journal of Beijing University of Posts and Telecommunications

基　　金：信息产业部国际电信联盟对口研究资助项目 (97- T10 - 0 0 3)

摘　　要：介绍了 SDL - 2 0 0 0形式语义的理论基础抽象状态机 (ASM) ,深入分析了 SDL - 2 0 0 0形式语义 ,其中静态语义使用一阶谓词演算定义 ,动态语义使用多代理的分布式ASM (abstract state machine), the underlying formalism of the formal semantics for SDL 2000, is introduced. The formal semantics for SDL 2000 is deeply discussed. The static semantics is defined in terms of first order predicate calculus, while the dynamic semantics is defined in terms of multi agent distributed ASM.

关 键 词：抽象状态机 形式化描述技术 形式语义 SDL-2000语言 

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