On constructing communication protocols from component-based service specifications |
| |
Authors: | Masahide Nakamura Yoshiaki Kakuda Tohru Kikuno |
| |
Affiliation: | Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University, 1-3, Machikaneyama-cho, Toyonaka-shi, Osaka 560, Japan |
| |
Abstract: | Constructing communication protocols from component service specifications, each of which specifies a subfunction of the target protocol, enables efficient development of a large and complex communication protocol. Concerning this construction, related techniques have been already proposed: integration of component protocol specifications into a single protocol specification and transformation of service specifications to protocol specifications. However, the integration needs special knowledge of communication protocols, and the transformation requires that a large and complex service specification should be developed as input to produce the target protocol. In order to cope with these problems, this paper proposes a new method which at first integrates component service specifications into a single service specification, and then transforms the service specification into the target protocol by a protocol synthesis technique. The most important point of view is that component integration is performed at the service specification level rather than the protocol specification level. Additionally, we define a class of ‘well-formed’ service specification which ensures correctness of the target protocol. As a result, the integration and transformation can be efficiently executed in small state space without special knowledge of communication protocols. Finally, we have shown the effectiveness of the proposed method by constructing a part of the real-life OSI protocol FTAM. |
| |
Keywords: | Service specification Component Integration Protocol synthesis Correctness |
本文献已被 ScienceDirect 等数据库收录! |
|