SDL-2000的形式语义研究

北京邮电大学学报 ›› 2001, Vol. 24 ›› Issue (4): 58-61.

SDL-2000的形式语义研究

王颖, 艾波

北京邮电大学计算机科学与技术学院, 北京 100876

收稿日期:2001-01-02 出版日期:2001-12-10
作者简介: 王颖(1973—),女,博士生。
基金资助:
信息产业部国际电信联盟对口研究资助项目(97-T10-003)

Formal Semantics for SDL-2000

WANG Ying, AI Bo

Computer Science and Application School, Beijing University of Postsand Telecommunications, Beijing 100876, China

Received:2001-01-02 Online:2001-12-10
Supported by:

摘要/Abstract

摘要： 介绍了SDL-2000形式语义的理论基础抽象状态机(ASM),深入分析了SDL-2000形式语义,其中静态语义使用一阶谓词演算定义,动态语义使用多代理的分布式ASM定义。

关键词: 形式语义, 规格和描述语言, 抽象状态机, 形式化描述技术

Abstract: ASM (abstract state machine), the underlying formalism of the formal semantics for SDL-2000, is introduced. The formal semantics forSDL-2000 is deeply discussed. The static semantics is defined in terms of first-order predicate calculus, while the dynamic semantics is defined in terms ofmulti-agent distributed ASM.

Key words: formal semantics, SDL, ASM, FDT

中图分类号:

TP312

王颖, 艾波. SDL-2000的形式语义研究[J]. 北京邮电大学学报, 2001, 24(4): 58-61.

WANG Ying, AI Bo. Formal Semantics for SDL-2000[J]. JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM, 2001, 24(4): 58-61.