This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
We define various sublanguages of CASL by identifying a number of orthogonal features. Each of these features can be included or left out in a sublanguage. This leads to a concise notation for sublanguages. The sublanguages can be identified purely syntactically, thus tools can determine to which sublanguages a particular specification belongs. Two graphs show relations among the sublanguages. The relation of the sublanguages to other specification languages is addressed briefly.
The rest of this document has not yet been converted to Hypertext; please refer to the FTP directory indicated above for the full document.