Prev Up Next
Go backward to 5 Structuring Concepts
Go up to Top
Go forward to III Architectural Specifications

6 Structuring Constructs

This section 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 Specification Definitions
  • 6.2.1 Specification Instantiation
  • 6.3 Views
  • 6.3.1 Fitting Views
  • 6.3.2 Implicit 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 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up Next