|
|||||
|
|
| SDL规范性能自动分析 | |
| 引用本文： | 周晨,陈俊亮.SDL规范性能自动分析[J].北京邮电大学学报,1993,16(4):14. |
| 作者姓名： | 周晨 陈俊亮 |
| 作者单位： | 北京邮电学院国家重点实验室，北京邮电学院国家重点实验室 北京 100088，北京 100088 |
| 摘 要： | 重点阐述 SDL 规范性能的自动分析.分两个步骤,首先将 SDL 规范映射到等价的 Petri 网模型,再对 Petri 网模型进行分析(可达性分析和线性不变式分析).分析工作与转换工作由工具 SDLPN 自动完成. |
| 关 键 词： | 软件工具 可达性/SDL 规范 Petri 网模型 |
Automatic Analysis of SDL Specification |
|
| Zhou Chen Chen Junliang.Automatic Analysis of SDL Specification[J].Journal of Beijing University of Posts and Telecommunications,1993,16(4):14. | |
| Authors: | Zhou Chen Chen Junliang |
| Abstract: | |
| Keywords: | software tools reachability/SDL specification Petri net model |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《北京邮电大学学报》浏览原始摘要信息 | |
| 点击此处可从《北京邮电大学学报》下载全文 | |