In the language kernel there are only primitive concepts, and the same holds for the instance domain. A primitive concept cannot be defined in terms of other concepts of SDL, it is defined in the language definition (Recommendation Z.100) using a natural language (English). Since a natural language is ambiguous. it is desirable to define the primitive concepts also in another formal language. This is called the formal definition of SDL, which is written in Meta IV and appears as Annex F to Z.100.

The language kernel should be as small as possible to be well-defined and consistent To simplify the use of SDL, and to reduce the size of a system description, the language kernel is extended by shorthands. which are defined ultimately in terms of the primitive concepts of the language.

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