|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|
|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 : http://www.hr/zzt/osoblje/Lovrek.html
This Page was prepared by Mark Jorgensen.