Architectural Constructs

This section describes the abstract syntax and determines the intended interpretation of the language constructs for architectural specifications, extending that given for basic and structured specifications in Parts I and II.

! ARCH-SPEC-DEFN   ::=  arch-spec-defn ARCH-SPEC-NAME ARCH-SPEC
! ARCH-SPEC-NAME   ::=  SIMPLE-ID
! ARCH-SPEC        ::=  BASIC-ARCH-SPEC | ARCH-SPEC-NAME
! SPEC             ::=  ... | ARCH-SPEC-NAME

An architectural specification definition ARCH-SPEC-DEFN provides a name ARCH-SPEC-NAME for an architectural specification ARCH-SPEC. The use of this ARCH-SPEC-NAME in another ARCH-SPEC-DEFN merely introduces a synonym for the same ARCH-SPEC, whereas its use in a SPEC is interpreted as the signature and class of resulting units of the referenced ARCH-SPEC.

! BASIC-ARCH-SPEC  ::=  basic-arch-spec UNIT-DECL-DEFN+ RESULT-UNIT

A basic architectural specification BASIC-ARCH-SPEC consists of a list of unit declarations UNIT-DECL-DEFN+, together with a description of how such units are to be composed in a RESULT-UNIT. A model of such an architectural specification consists of a unit for each UNIT-DECL-DEFN, and the described composition of these units.

Unit Declarations

Unit Compositions

---

CoFI Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to cofi-language@brics.dk