System Maintenance:
There may be intermittent impact on performance while updates are in progress. We apologize for the inconvenience.
By Topic

An integration-oriented approach for designing communication protocols from component-based service specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Nakamura, M. ; Dept. of Inf. & Comput. Sci., Osaka Univ., Japan ; Kakuda, Y. ; Kikuno, T.

The trend toward the enrichment of communication services in ISDN and IN has greatly increased the size and complexity of communication protocols which realize the services. A large and complex protocol is constructed by integrating components, each of which corresponds to a subfunction specified in a service specification. The conventional approach to this construction is to integrate components on the protocol level using the existing protocol integration methods. In this approach, the reachability analysis of protocol components is required in the integration stage. So if the size of components becomes large, the integration stage would be a bottleneck because of the state explosion problem of the reachability analysis. Therefore, we propose a new approach to construct the target protocol which, at first integrates components on the service specification level and then transforms an integrated service specification into the target protocol by the protocol synthesis technique. As a result, the construction of the target protocol from the component service specifications can be efficiently effected in a small state space without paying special attention to the timing of protocol messages

Published in:

INFOCOM '96. Fifteenth Annual Joint Conference of the IEEE Computer Societies. Networking the Next Generation. Proceedings IEEE  (Volume:3 )

Date of Conference:

24-28 Mar 1996