Transformation technique between specification in SDL and specification in message sequence charts for designing protocol specifications

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