engleski

Verification of Signal Protocols for Telecommunication Services in Intelligent Network

This paper deals with verification of signaling protocols for telecommunication services. The model of signalling protocol synthesis based on elementary communicating processes and information flows they exchange is proposed. Elementary communicating processes represent basic service building block and exchange information by using process protocols. Service protocol is produced as a composition of process protocols for elementary processes involved. Verification problems related to elementary process protocols and service consistency are discussed. Some examples describing verification of signaling protocols for intelligent network services are included.

verification ; signalling protocol synthesis ; elementary communicating processes ; intelligent network

nije evidentirano