[SDL Forum Society - Logo] Tutorial on SDL-88
Belina, Hogrefe (edits Reed)

9. Overview of SDL concepts

Back Home Next

As was pointed out in the introduction, a specification language should provide a well defined set of concepts. The distinction between description, type and instance was also introduced there. In other chapters, the major part of the SDL concepts has been gradually introduced, hopefully in a logical order. In this chapter, an overview of the SDL concepts is given, covering partly what has been said in previous chapters, and providing additional explanations for a more advanced reader.

Description domain and instance domain
Primitive concepts and shorthands
Interpretation of a system description

Back Home Next

Contact the webmaster with questions or comments about this web site.
Copyright © 1997-May, 2013 SDL Forum Society