A novel optical signaling protocol system for optical network dynamic resource provisioning is proposed for dynamic lightpath provisioning.The system is based on overlay model and supports multi client addressing.Exceptional handling of the protocol is analyzed and fault tolerant design is specified and verified by temporal logic.Verifications confirm that the protocol system performs lightpath actions correctly under both normal and any time out conditions.