一种多元化网络管理协议的形式化描述与验证

摘要：

本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达性分析、S_不变量分析和T_不变量分析对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证,确定了协议的逻辑正确性,为协议的实现奠定了基础。

关键词： 卫星通信 多元化网络管理协议 形式化描述 功能验证

作者: 赵建立 孙秋霞 王光兴

作者单位: 东北大学网络与通信中心 110004;山东科技大学信息学院266510

会议类型: 国内会议

会议名称: 辽宁省通信学会2004年通信网络与信息技术年会

会议地点: 沈阳

会议语种:中文

页码: 355-360

在线出版日期: 2004-10-01（万方平台首次上网日期，不代表论文的发表时间）