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

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