III Architectural SpecificationsTop5 Structuring Concepts6 Structuring Constructs

6 Structuring Constructs

This chapter indicates the abstract and concrete syntax of the constructs of structured specifications, and describes their intended interpretation, extending what was provided for basic (many-sorted and subsorted) 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. The interpretation is essentially based on model classes--a "flattening" reduction to sets of sentences is not possible, in general (due to the presence of constructs such as hiding and freeness).

A structured specification can only be well-formed when all its component specifications are well-formed.

  • 6.1 Structured Specifications
  • 6.1.1 Translations
  • 6.1.2 Reductions
  • 6.1.3 Unions
  • 6.1.4 Extensions
  • 6.1.5 Free Specifications
  • 6.1.6 Local Specifications
  • 6.1.7 Closed Specifications
  • 6.2 Named and Parametrized Specifications
  • 6.2.1 Specification Definitions
  • 6.2.2 Specification Instantiation
  • 6.3 Views
  • 6.3.1 View Definitions
  • 6.3.2 Fitting Views
  • 6.4 Symbol Lists and Mappings
  • 6.4.1 Symbol Lists
  • 6.4.2 Symbol Mappings
  • 6.5 Compound Identifiers

  • CoFI Document: CASL/Summary -- Version: 1.0.1 -- 25 March 2001.
    Comments to cofi-language@brics.dk

    III Architectural SpecificationsTop5 Structuring Concepts6 Structuring Constructs