A novel UNI signaling protocol for optical networks

For dynamic lightpath provisioning, a novel optical signaling protocol through an optical communication network user network interface (UNI) is proposed. It supports multi-client addressing and meets the special requirements of optical networks. A communicating finite state machine (CFSM) model is utilized to formally specify and validate the protocol. Exceptional handling of the protocol is analyzed and fault-tolerant properties are verified by temporal logic. Verifications confirm that the protocol performs actions to lightpaths correctly under both normal and any time out conditions, with its no-deadlock, no-livelock, and other good properties.