This section indicates the abstract and concrete syntax of the constructs of subsorted basic specifications, and describes their intended interpretation, extending what was provided for many-sorted specifications in Chapter 2.
A well-formed subsorted basic specification BASIC-SPEC of the CASL language determines a basic specification of the underlying subsorted institution, consisting of a subsorted signature and a set of sentences of the form described in Chapter 3. The models of this signature and set of sentences provide the semantics of the basic specification.