This section describes the abstract syntax and intended interpretation of the language constructs for structured specifications, extending that given for basic specifications in Part I.
The summary below indicates when structured specifications are well-formed, and how their signatures and classes of models are determined by those of their component specifications. Thus the interpretation is essentially based on models, rather than on a reduction to sets of sentences.
A structured specification can only be well-formed when all its component specifications are well-formed.