摘要
本文提出了一种新的用户光网络接口 (UNI)信令协议 ,以实现动态指配光网络资源的功能 .该协议支持多种类客户寻址 ,考虑了光网络的特殊要求 .采用通信有限状态机 (CFSM)模型对协议进行了形式化描述和验证 ,分析了协议设计的出错处理 .分析和验证结果表明 ,协议在网络正常和超时故障条件下均能确保对光通道的建立、修改、拆除和查询等操作无误 ,具有无死锁、无活锁。
A novel optical User Network Interface(UNI)signaling protocol for optical network dynamic resource provisioning is proposed for dynamic lightpath provisioning.The protocol supports multi client addressing and meets the special requirements of optical networks.The protocol has been formally specified and validated,employing a Communicating Finite State Machine (CFSM)model.Exceptional handling of the protocol is analyzed.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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2003年第10期1441-1445,共5页
Acta Electronica Sinica
基金
国家自然科学基金重点项目 (60 1 32 0 2 0 )
国家 863高科技项目 (2 0 0 1AA1 2 2 0 51 )
清华大学Bell实验室基础科学院 (中国 )光通信网络系统联合实验室项目
关键词
光网络
UNI接口
信令协议
形式化描述和验证
optical networks
UNI
signaling protocol
formal validation and verification