【摘要】 介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。更多还原

【Abstract】 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.更多还原