next up previous

Final Report of the COST-247 Action

Verification of Signalling Protocols for Telecommunication Services in Intelligent Network

Bruno Blaskovic, Ignac Lovrek

University of Zagreb
Faculty of Electical Engineering and Computing
Unska 3
HR-10000 Zagreb
Tel: +385 1 612 98 02
Fax: +385 1 612 98 32


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.

This presentation has been given during the COST-247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia, June 17--19, 1996).

COST-247 Working Group(s): 2

Web Links :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page