田倉昭
Automated Generation of Communication Software from Service Specifications
Abstract:This paper proposes methods to automate these subjects. There is no system to automate all of them consistently. In other words, this is the first research on generating communication software from service specifications, which can be described without detailed knowledge, through protocol synthesis, after which the generated software is actually used for implementing communication services. There are two types of specification description methods. The internal behavior of a communication system is usually described in the form of specifications to produce communication software. In protocol synthesis methods, service specifications are described by regarding a communication system as a black box. These methods have not been applied to transform service specifications into executable communication software. On the other hand, in this research, incomplete service specifications are transformed into implementable specifications as communication services, and finally to communication software.