| SDL语言动态语义模型的研究 |
| |
| 引用本文： | 宋瑾钰,魏仰苏. SDL语言动态语义模型的研究[J]. 计算机应用, 2004, 24(11): 50-51 |
| |
| 作者姓名： | 宋瑾钰 魏仰苏 |
| |
| 作者单位： | 浙江理工大学,信息电子学院,浙江,杭州,310033;浙江理工大学,信息电子学院,浙江,杭州,310033 |
| |
| 基金项目： | 浙江省自然科学基金资助项目 (M6 0 3 1 45) |
| |
| 摘 要： | 介绍了SDL系统规范，基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为，动态语义模型用元进程描述系统可观察的行为。研究了ITUZ．100建议附件F中元进程的划分，提出一种新的元进程定义，并举例描述了SDL系统的动态语义模型。
|
| 关 键 词： | SDL 系统规范 通信扩展有限状态机 元进程 |
| 文章编号： | 1001-9081(2004)11-0050-02 |
Research of dynamic semantics model of SDL |
| |
| SONG Jin-yu,WEI Yang-su. Research of dynamic semantics model of SDL[J]. Journal of Computer Applications, 2004, 24(11): 50-51 |
| |
| Authors: | SONG Jin-yu WEI Yang-su |
| |
| 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. |
| |
| Keywords: | SDL system specification CEFSM meta-process |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
