Title :
Efficient specification description for communications software using message sequences and rules
Author :
Terauchi, Atsushi ; Yamanaka, Kenjiroh ; Kato, June
Author_Institution :
NTT Software Labs., Tokyo, Japan
fDate :
28 Nov- 2 Dec 1994
Abstract :
The paper proposes a communications service specification description method that reduces the number of message sequence charts (MSCs) that designers need to describe. This method uses MSCs and rules for generating error-handling procedures. Experimental application of the proposed description method shows that this hybrid description enables service specifications for target services to be described with about 10% fewer than when using only MSCs
Keywords :
client-server systems; electronic messaging; error handling; formal specification; telecommunication computing; telecommunication services; communications service specification description method; communications software; efficient specification description; error-handling; hybrid description; message sequence chart; message sequences; rules; Application software; Formal specifications; Laboratories; Protocols;
Conference_Titel :
Global Telecommunications Conference, 1994. GLOBECOM '94. Communications: The Global Bridge., IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
0-7803-1820-X
DOI :
10.1109/GLOCOM.1994.512706
