| Autor: |
Takura, Akira, Sera, Takafumi, Ohta, Tadashi |
| Předmět: |
|
| Zdroj: |
Electronics & Communications in Japan, Part 1: Communications; Mar1998, Vol. 81 Issue 3, p22-35, 14p |
| Abstrakt: |
This paper aims at the automatic generation of software from communication service specifications. A method for protocol synthesis is proposed, where the specifications for the protocol entity that maintains the local state for the terminal are derived from communication service specifications. The latter are described as a set of the global state transition rules concerning the terminal. The communication service specifications are represented as a set of rules for rewriting a directed graph. Specifications for the protocol entity are derived that execute communication to search for the rule satisfying the application condition. Each protocol entity realizes the distributed algorithm that searches isomorphic subgraphs contained in the directed graph representing the entire communication system. A graph that represents the condition for a rule application can be an arbitrary connected directed graph. A protocol has the same performance in regard to the number of communications as the protocol obtained by imposing the condition that there exists a directed path that passes through every vertex once. The generated protocol can be converted finally to a program that can operate on the communication system, and the result can be applied to communication software development. The method is applied to the development of PBX software in order to demonstrate that software generated from the communication service software based on the proposed protocol synthesis has practical performance. © 1998 Scripta Technica. Electron Comm Jpn Pt 1, 81(3): 22–35, 1998 [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
