A structured specification is formed by combining specifications in various ways, starting from basic specifications. The structure of a specification is not reflected in its models: it is used only to present the specification in a modular style. (Specification of the architecture of models in CASL is addressed in the next section.)