DocumentCode :
1988691
Title :
On a communication software generation method from communication service specifications described by a declarative language
Author :
Kawata, Keizo ; Takura, Akira ; Ohta, Tadashi
Author_Institution :
ATR Commun. Syst. Res. Labs., Kyoto, Japan
fYear :
1993
fDate :
27-29 May 1993
Firstpage :
116
Lastpage :
122
Abstract :
The paper proposes a declarative communication service specification language that is easy to write for one who is not an expert in communication networks and a method of automatically generating communication software from communication service specifications written in the language. It is assumed that a communication system consists of homogeneous processes. With this language, we can specify a communication service without defining messages between processes. All states of a process and messages that are necessary to achieve a communication service will be generated by this method. The efficiency of the communication software generated by the method almost never degrades even if the size of a communication service specification has been increased
Keywords :
application generators; computer communications software; specification languages; telecommunication networks; telecommunications computing; communication networks; communication service; communication service specifications; communication software generation method; communication system; declarative communication service specification language; declarative language; efficiency; homogeneous processes; Communication networks; Communication system software; Degradation; Formal languages; Joining processes; Laboratories; Protocols; Specification languages; Telecommunication services;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computing and Information, 1993. Proceedings ICCI '93., Fifth International Conference on
Conference_Location :
Sudbury, Ont.
Print_ISBN :
0-8186-4212-2
Type :
conf
DOI :
10.1109/ICCI.1993.315394
Filename :
315394
Link To Document :
بازگشت