30th Hawaii International Conference on System Sciences (HICSS) Volume 1: Software Technology and Architecture Maui, Hawaii January 03-January 06 ISBN: 0-8186-7743-0
A method is proposed for the automated generation of communications software from service specifications, and application of the method is described. In this method, communications 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 application conditions. The derived protocol is implemented as distributed algorithms that search isomorphic subgraphs that are included in the directed graph that represents the entire communications system. Detailed protocol specifications are then achieved through the use of detailed specifications made up of knowledge regarding the control of communications systems. An application of the method for developing PBX software demonstrates the effectiveness of the proposed method for automatically generating communications software.
Citation:
Akira Takura, "Automated Generation of Communications Software from Service Specifications Described by State Transition Rules," hicss, vol. 1, pp.472, 30th Hawaii International Conference on System Sciences (HICSS) Volume 1: Software Technology and Architecture, 1997 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb