摘要
本文针对一种最新提出的卫星网络管理协议,利用Petri网描述协议的方法,对此网络管理协议过程进行了形式描述,利用Petri网的可达树、不变量对协议的有界性、活性、守恒性、完整性、前进性等性质进行了验证,确定了协议的逻辑正确性,在此基础上,完成了此协议的实现并对其性能进行了测试。
In this paper, aimed at a new satellite network management protocol, a formal specification of the network management protocol using Petri net is given, verify that the protocol has the properties of boundness, liveness, conservation, integrality and etc using petri net reachability tree and invariant variable, confirm the new network management protocol's logic correctness. At last, the performance comparison between the new protocol and SNMP is given.
出处
《计算机科学》
CSCD
北大核心
2004年第10期53-56,共4页
Computer Science
基金
国家863基金资助(2002AA712051)