DocumentCode
1666645
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
fYear
1992
Firstpage
554
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/GLOCOM.1992.276453
Filename
276453
Link To Document