Validations confirm that the protocol performs lightpath actions correctly under both normal and any time out conditions,with its no deadlock,no livelock,and other good properties.

• 分析和验证结果表明 ,协议在网络正常和超时故障条件下均能确保对光通道的建立、修改、拆除和查询等操作无误 ,具有无死锁、无活锁、完整性和容错性等重要性质