Abstract:

The paper deals with verification of signalling protocols for telecommunication services. The model of signalling protocols synthesis based on elementary communicating processes and information flows they exchange is proposed. Elementary communicating processes represent basic service building blocks 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 signalling protocols for intelligent network are included.