Naslov
Verification of Signal Protocols for Telecommunication Services in Intelligent Network

Autori
Blašković, Bruno ; Lovrek, Ignac

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of 1st COST 247 International Workshop on Applied Formal Methods in System Design / Brezočnik, Zmago ; Kapus, Tatjana - Maribor : Faculty of Electrical Engineering and Computer Science, University of Maribor, 1996, 156-165

ISBN
86-435-0155-7

Skup
COST 247 International Workshop on Applied Formal Methods in System Design

Mjesto i datum
Maribor, Slovenija, 17.06.1996. - 19.06.1996

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
verification ; signalling protocol synthesis ; elementary communicating processes ; intelligent network

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo

POVEZANOST RADA