Title :
Telecommunication service design support using the visual service description language STR-GR
Author :
Nakamura, Mitsutoshi ; Inoue, Y. Asuaki ; Takami, Kazumasa ; Takenaka, Toyofumi ; Ohta, Tadashi
Author_Institution :
ATR Commun., Syst. Res. Lab., Kyoto, Japan
Abstract :
The telecommunication service design support described facilitates the retrieval of existing service specifications, modification of this specifications using state transitional rule (STR) based graphic representations and verification of service interactions. The service design support provides the ability to find the existing services without knowing how to activate or operate them, when performing simulations
Keywords :
formal verification; simulation languages; specification languages; telecommunication services; telecommunications computing; visual programming; STR-GR; graphic representations; service interactions verification; service specifications retrieval; simulations; state transitional rule; telecommunication service design support; visual service description language; Chapters; Communication switching; Graphics; Ice; Laboratories; Spatial databases; Telecommunication services;
Conference_Titel :
Global Telecommunications Conference, 1992. Conference Record., GLOBECOM '92. Communication for Global Users., IEEE
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-0608-2
DOI :
10.1109/GLOCOM.1992.276453
