Automated generation of communications software from service specifications described by state transition rules
A. Takura · 2002
A method is proposed for the automated generation of communications software from service specifications, and an application of the method is described. In this method, communication service specifications are expressed as a set of rewriting rules of a labeled directed graph, and protocol specifications are derived to search for rules that satisfy the application conditions. The derived protocol is implemented as a set of distributed algorithms that search isomorphic subgraphs that are included in the directed graph which represents the entire communication system. Detailed protocol specifications are then achieved through the use of knowledge regarding the control of the communication systems. An application of the method for developing PBX software demonstrates the effectiveness of the proposed method for automatically generating communications software.