Prev Up Next
Go backward to 7 Architectural Concepts
Go up to Top
Go forward to IV Specification Libraries

8 Architectural Constructs

This chapter indicates the abstract and  [DELETED]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
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; ... UDnresult 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-v1.0 -- Version: 1.0 -- 22 October 1998.
    Comments to

    Prev Up Next