摘要: 介绍了SDL-2000形式语义的理论基础抽象状态机(ASM),深入分析了SDL-2000形式语义,其中静态语义使用一阶谓词演算定义,动态语义使用多代理的分布式ASM定义。
中图分类号:
王 颖, 艾 波. 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.