DocumentCode
297107
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
Volume
2
fYear
1994
fDate
28 Nov- 2 Dec 1994
Firstpage
805
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Global Telecommunications Conference, 1994. GLOBECOM '94. Communications: The Global Bridge., IEEE
Conference_Location
San Francisco, CA
Print_ISBN
0-7803-1820-X
Type
conf
DOI
10.1109/GLOCOM.1994.512706
Filename
512706
Link To Document