SDL语言动态语义模型的研究  

Research of dynamic semantics model of SDL

作　　者：宋瑾钰[1] 魏仰苏[1] 

机构地区：[1]浙江理工大学信息电子学院,浙江杭州310033

出　　处：《计算机应用》2004年第11期50-51,共2页journal of Computer Applications

基　　金：浙江省自然科学基金资助项目 (M6 0 3 1 45)

摘　　要：介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。SDL system specification and SDL process based on CEFSM were introduced. The most important property defined by an SDL specification is the behavior of the system,and a dynamic Semantics model describes the behavior using meta-processes. The partition of meta-processes in Annex F to ITU Z.100 was studied,a new definition of meta-processes was proposed and this partition was proved to describe the dynamic model more correctly.

关 键 词：SDL 系统规范 通信扩展有限状态机 元进程 

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