The formal semantics of SDL-2000: Status and perspectives

Computer Networks

Volumn 42, Issue 3, 2003, Pages 343-358

  Glasser U ^a   Gotzhein, R ^b   Prinz, A ^c  

^a SIMON FRASER UNIVERSITY   (Canada)

^b Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^c DResearch Digital Media Systems GmbH   (Germany)

Author keywords

Abstract state machines; Distributed systems; Formal semantics; SDL; System design

Indexed keywords

ABSTRACTING; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; PROGRAM COMPILERS;

FORMAL SEMANTICS;

SEMANTICS;

EID: 0037947558     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1389-1286(03)00247-0     Document Type: Conference Paper

References (24)

1. ITU-T Recommendation Z.100(11/99), Languages for telecommunications applications - Specification and Description Language (SDL), International Telecommunication Union, Geneva, 2000, now superseded - but current for [5].
2. ITU-T Recommendation Z.100 Annex F, SDL Formal Definition, International Telecommunication Union, Geneva, 1993.
3. Bjørner D., Jones C.B. Formal Specification and Software Development. 1982;Prentice Hall, Englewood Cliffs, NJ.
4. SDL Formal Semantics Project, ITU-T Study Group 10: SDL Semantics Group. Available from: < http://rn.informatik.uni-kl.de/projects/sdl/>.
5. ITU-T Recommendation Z.100 Annex F(11/00), SDL Formal Semantics Definition, International Telecommunication Union, Geneva, 2001.
6. Börger E. High level system design and analysis using abstract state machines. Current Trends in Applied Formal Methods (FM-Trends 98). Lecture Notes in Computer Science. vol. 1641:1999;1-43 Springer, Berlin.
7. Gurevich Y. Evolving Algebras 1993: Lipari Guide. Specification and Validation Methods. 1995;9-36 Oxford University Press, London.
8. Börger E., Stärk R. Abstract State Machines - A Method for High-Level System Design and Analysis. 2003;Springer, Berlin.
9. Bozga M.et al. An intermediate representation for SDL and its applications in: SDL'99 - The Next Millennium. 1999;Elsevier, Amsterdam.
10. J. Fischer, E. Dimitrov, Verification of SDL protocol specifications using extended Petri nets, in: Proc. of the Workshop on Petri Nets and Protocols of the 16th Intern. Conf. on Applications and Theory of Petri Nets, Torino, Italy, 1995, pp. 1-12.
11. J. Fischer, E. Dimitrov, U. Taubert, Analysis and formal verification of SDL'92 specifications using extended Petri nets, Internal Report, Dept. of Computer Science, Humboldt University, Berlin, 1995.
12. J.A. Bergstra, C.A. Middleburg, Process algebra semantics of φ SDL, Technical Report, UNU/IIST Report No. 68, UNU/IIST, The United Nations University, April 1996.
13. Broy M. Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing. 3(3):1991;21-57.
14. Holz E., Stølen K. An attempt to embed a restricted version of SDL as a target language in FOCUS. Proc. of FORTE'94. 1994;324-339 Chapman & Hall, London.
15. U. Hinkel, Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL, PhD thesis, Technische Universität, München, 1998.
16. M. Broy et al., The design of distributed systems - an introduction to FOCUS, Technical Report TUM-19202-2, Institut für Informatik, Technische Universität, München, January, 1993.
17. S. Lau, A. Prinz, BSDL: The Language - Version 0.2. Technical Report, Department of Computer Science, Humboldt University, Berlin, August, 1995.
18. R. Gotzhein, B. Geppert, F. Rößler, P. Schaible, Towards a new formal SDL semantics, in: Proc. 1st Workshop of the SDL Forum Society on SDL and MSC (SAM'98), Berlin, Germany, June 29-July 1, 1998, pp. 55-64.
19. Glässer U., Karges R. Abstract state machine semantics of SDL. Journal of Universal Computer Science. 3(12):1997;1382-1414.
20. U. Glässer, ASM semantics of SDL: concepts, methods, tools, in: Proc. 1st Workshop of the SDL Forum Society on SDL and MSC (SAM'98), Berlin, Germany, June 29-July 1, 1998, pp. 271-280.
21. Eschbach R., Glässer U., Gotzhein G., von Löwis M., Prinz A. Formal definition of SDL-2000 - compiling and running SDL specifications as ASM models. Journal of Universal Computer Science. 7(11):2001;1024-1049.
22. ITU-T Rapporteur, Question 6/10, Introduction of Time Semantics in SDL, ITU-T Study Group 10, Temporary Document 41, Geneva, November 1999.
23. Bozga M.et al. Timed extensions for SDL. SDL 2001: Meeting UML Lecture Notes in Computer Science. vol. 2078:2001;Springer, Berlin.
24. Microsoft Research: AsmL. Available from: < http://research.microsoft.com/foundations/AsmL/default.html>.