Automated generation of communications software from service specifications described by state transition rules

Author

Takura, Akira

Volume

1

fYear

1997

fDate

7-10 Jan 1997

Firstpage

472

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;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on

Conference_Location

Wailea, HI

ISSN

1060-3425

Print_ISBN

0-8186-7743-0

Type

conf

DOI

10.1109/HICSS.1997.667301

Filename

667301