一种新型卫星网管协议的Petri网描述与验证 |
| |
引用本文: | 赵建立,闻英友,商瑞强,王光兴.一种新型卫星网管协议的Petri网描述与验证[J].东北大学学报(自然科学版),2004,25(4):325-328. |
| |
作者姓名: | 赵建立 闻英友 商瑞强 王光兴 |
| |
作者单位: | 东北大学信息科学与工程学院,辽宁沈阳,110004;东北大学信息科学与工程学院,辽宁沈阳,110004;东北大学信息科学与工程学院,辽宁沈阳,110004;东北大学信息科学与工程学院,辽宁沈阳,110004 |
| |
基金项目: | 国家高技术研究发展计划(863计划) |
| |
摘 要: | 介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·
|
关 键 词: | 多元化网络管理协议 Petri网 可达性分析 S-不变量分析 T-不变量分析 |
文章编号: | 1005-3026(2004)04-0325-04 |
修稿时间: | 2003年9月22日 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《东北大学学报(自然科学版)》浏览原始摘要信息 |
| 点击此处可从《东北大学学报(自然科学版)》下载免费的PDF全文 |
|