By Topic

Transformation technique between specification in SDL and specification in message sequence charts for designing protocol 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

4 Author(s)
Ito, A. ; Kokusai Denshin Denwa Co Ltd., Saitama, Japan ; Saito, H. ; Nitta, F. ; Kakuda, Y.

Protocol specifications play an important role in telecommunications software specifications and many techniques exist to support design and analysis of protocol specifications. Among these are techniques for transformation between sequence charts and specification description language (SDL), which are discussed. Principles for translation between a specification in SDL and a specification in state transition diagrams are discussed, and a transformation technique between a specification in a state transition diagram and a specification in message sequence charts is described. A cyclic expansion-based protocol validation and component-based protocol synthesis are adopted to realize an efficient transformation

Published in:

Communications, 1992. ICC '92, Conference record, SUPERCOMM/ICC '92, Discovering a New World of Communications., IEEE International Conference on

Date of Conference:

14-18 Jun 1992