On a communication software generation method from communicationservice specifications described by a declarative language

摘要

The paper proposes a declarative communication servicenspecification language that is easy to write for one who is not annexpert in communication networks and a method of automaticallyngenerating communication software from communication servicenspecifications written in the language. It is assumed that ancommunication system consists of homogeneous processes. With thisnlanguage, we can specify a communication service without definingnmessages between processes. All states of a process and messages thatnare necessary to achieve a communication service will be generated bynthis method. The efficiency of the communication software generated bynthe method almost never degrades even if the size of a communicationnservice specification has been increased