Title :
Automated generation of communications software from service specifications described by state transition rules
Abstract :
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
Keywords :
automatic programming; computer communications software; directed graphs; distributed algorithms; electronic switching systems; formal specification; private telephone exchanges; protocols; rewriting systems; telecommunication control; telecommunication services; tree searching; PBX software development; application conditions; automatic software generation; communication service specifications; communication system control; communications software; distributed algorithms; isomorphic subgraphs; labeled directed graph; protocol specifications; rewriting rules; rule searching; state transition rules; Access protocols; Application software; Automatic control; Communication system control; Communication system software; Control systems; Distributed algorithms; Laboratories; Protocols; Shape; Specification languages;
Conference_Titel :
System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-7743-0
DOI :
10.1109/HICSS.1997.667301
