Abstract
Specification and Description Language (SDL) and Message Sequence Chart (MSC), two widely used system engineering modeling languages, specify and describe different aspects of real time systems. Since MSC is always combined with SDL in system specifications and descriptions, their interrelationship is very important and deserves special attention. Two new mathematical models for precise description of SDL Processes and MSC are used to analyze their interrelationship.
The updated original online version for this book can be found at DOI: 10.1007/978-0-387-35581-8_35
Chapter PDF
Similar content being viewed by others
References
R. Braek and O. Haugen. (1993). Engineering Real Time Systems-An object-oriented methodology using SDL. Prentice Hall, Englewood Cliffs.
R. Braek. (1996). SDL Basics. Computer Networks and ISDN Systems, Vol.28, pp. 15851602.
J. E. Hoperoft and J. D. Ullman. (1990). Introduction to Automata Theory, Languages and Computation. Narosa Publishing House Reprint.
ITU Z.100. (1989). Recommendation Z. 100, Specification and Description Language SDL. Geneva: ITU.
ITU Z.100. (1993). Recommendation Z. 100, Specification and Description Language SDL. Geneva: ITU.
ITU-TS. (1993). Recommendation Z.120, Message Sequence Chart (MSC). ITU-TS, Geneva.
ITU-TS. ITU-TS Recommendation Z.120, Message Sequence Chart (MSC). ITU-TS, Geneva. (Publication scheduled 1997 ).
J. Lian and V. Wuwongse. (1999). Conversion from SDL Processes into MSC. Technical Report, Computer Science and Information Management Program, Asian Institute of Technology.
J. Lian and V. Wuwongse. (1999). Conversion from MSC into SDL Processes. Technical Report, Computer Science and Information Management Program, Asian Institute of Technology.
S. Mauw. (1996). The formalization of Message Sequence Charts. Computer Networks and ISDN Systems, Vol. 28, pp. 1643–1657.
E. Rudolph, P. Graubmann and J. Grabowski. (1996). Tutorial on Message Sequence Charts. Computer Networks and ISDN Systems, Vol. 28, pp. 1629–1641.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Lian, J., Wuwongse, V. (2000). Relationship between SDL Processes and Message Sequence Charts. In: Yongchareon, T., Aagesen, F.A., Wuwongse, V. (eds) Intelligence in Networks. SMARTNET 1999. IFIP Advances in Information and Communication Technology, vol 32. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35581-8_19
Download citation
DOI: https://doi.org/10.1007/978-0-387-35581-8_19
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-1022-9
Online ISBN: 978-0-387-35581-8
eBook Packages: Springer Book Archive