Abstract
SDL (Specification and Description Language) is an international standard formal description language which has been widely used for the specification and description of communication systems. SDL is based on the concept of the state oriented description technique—FSM (Finite State Machine). This paper reports an interactive generator for SDL, named SDL-TRAN, which can automatically translate FSM expression into SDL description. Except for its automatic translation part, SDL-TRAN includes an user-friendly graphical editor which is used to get the other part of SDL description which cannot be automatically translated.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Cline B, Hogrefe D. The CCITT—Specification and description language SDL.Computer Networks and ISDN Systems, 1989, 16: 311–341.
Special Issue on SDL.Computer Networks and ISDN Systems, 1987, 13(2).
Zhang Yaoxueet al. An interactive protocol synthesis algorithm by using a global state transition graph.IEEE Trans. on Soft. Eng., 1988, 3.
Zhang Y X, Qiao S. An interactive method for the generation ofn finite state machines.Chinese Journal of Computers, 1994, 17(4): 264–270.
Zhang Y X, Shi M L, Zhu J S. A knowledge-based CFSM generator.Journal of China Institute of Communications, 1992, 13(2): 10–14.
CCITT Recommendation Z.100. Specification & Description Language SDL, 1988.
Zhang Y X, Zhang Y. INSEP: A model-based interactive software environment for protocol specification.Advances in Modelling & Analysis, B, 1994, 30(2): 31–37.
Griffiths A, Rose R. A semantic foundation for object identity in formal specification. Technical Report 94-21, Software Verification Research Centre, Department of Computer Science, The University of Queensland, September 1994.
Smith G. Formal definitions of behavioural compatibility for active and passive objects. InProc. of Asia-Pacific Software Engineering Conference (APSEC'94), pp.336–344, IEEE Computer Society Press, December 1994.
Author information
Authors and Affiliations
Additional information
This work was supported by Trans-Century Training Programme Foundation for the Talents by the State Education Commission of China.
Zhang Yaoxue obtained his M.S. and Ph.D. degrees, both in computer science, from Tohuku University in 1986 and 1989, respectively. In 1990, Prof. Zhang joined Department of Computer Science and Technology, Tsinghua University, and now is the Vice-chairman of the Department. He is currently heading the groups doing researches on high-speed network software, design method, interconnections and client/server computing.
Chen Hua obtained his B.S. degree in computer science from Tsinghua University in 1994. His current research interests include high-speed network software, design method and client/server computing.
Rights and permissions
About this article
Cite this article
Zhang, Y., Chen, H., Zhang, Y. et al. SDL-TRAN—An interactive generator for formal description language SDL. J. of Compt. Sci. & Technol. 11, 49–60 (1996). https://doi.org/10.1007/BF02943521
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02943521