SDL(ID:1430/sdl004)

Specification and Description Language 

Specification and Description Language. CCITT. Specification language with both graphical and character-based syntaxes for defining interacting extended finite state machines. Used to specify discrete interactive systems such as industrial process control, traffic control, and telecommunication systems.



Available from Verilog, MD. (See XDL).
Related languages
SDL => SDL 92   Augmentation of
References:
  • Jones C.B. and Bjorner, D.- Formal Specification and Software Development- Prentice Hall 1982 view details
  • Proc Plenary Assembly, Melbourne 14-25 Nov 1988, Fasc X.1, CCITT. view details
  • Encontre V. "GEODE: An Industrial Environment for Designing Real-Time Distributed Systems in SDL" Proc. 4th SDL Forum - North Holland 1989. view details
  • Saracco, R. et al, "Telecommunications Systems Engineering Using SDL", N-H 1989. view details
  • SDL SDL: Functional Specification and Description Language- Recommendation Z100- CCITt- 1989. view details
  • Vincent Encontre, SDL: a standard language for Ada real-time applications, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.45-53, October 21-25, 1991, San Jose, California, United States view details