IV Specification LibrariesTop7 Architectural Concepts8 Architectural Constructs

8 Architectural Constructs

This chapter indicates the abstract and concrete syntax of the constructs of architectural specifications, and describes their intended interpretation, extending what was provided for basic and structured specifications in Parts I and II.

      ARCH-SPEC-DEFN ::= arch-spec-defn ARCH-SPEC-NAME ARCH-SPEC

An architectural specification definition ARCH-SPEC-DEFN is written:

arch spec ASN =

where the terminating `end' keyword is optional.

It defines the name ASN to refer to the architectural specification ASP, extending the global environment (which must not already include a definition for ASN). The local environment given to ASP is empty.


An architectural specification name ARCH-SPEC-NAME is normally displayed in a Small-Caps font, and input in mixed upper and lower case.

A reference in an architectural specification ARCH-SPEC to an architectural specification named ASN is simply written as the name itself `ASN'. It refers to the the current global environment, and is well-formed only when the global environment includes an architectural specification definition for ASN. The enclosing definition then merely introduces a synonym for a previously-defined architectural specification.

      RESULT-UNIT     ::= result-unit UNIT-EXPRESSION

A basic architectural specification BASIC-ARCH-SPEC is written:

units UD1; ... UDn; result UE;

where both the last two semicolons are optional.

It consists of a list of unit declarations and definitions UD1, ..., UDn, together with a unit expression UE describing how such units are to be composed. A model of such an architectural specification consists of a unit for each UDi, and the composition of these units as described by UE.

  • 8.1 Unit Declarations and Definitions
  • 8.1.1 Unit Declarations
  • 8.1.2 Unit Definitions
  • 8.2 Unit Specifications
  • 8.2.1 Unit Types
  • 8.2.2 Architectural Unit Specifications
  • 8.2.3 Closed Unit Specifications
  • 8.3 Unit Expressions
  • 8.3.1 Unit Terms

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

    IV Specification LibrariesTop7 Architectural Concepts8 Architectural Constructs