Go backward to Architectural Concepts
Go up to Top
Go forward to Part IV: Specification Libraries:

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 SPEC-NAME ARCH-SPEC
ARCH-SPEC       ::=   arch-spec UNIT-DECL+ RESULT-UNIT
An architectural specification definition ARCH-SPEC-DEFN provides a name SPEC-NAME for an architectural specification ARCH-SPEC, which consists of a list of unit declarations UNIT-DECL+, together with a description of how such units are to be composed in a RESULT-UNIT. A model of an architectural specification consists of a unit for each UNIT-DECL, and the described composition of these units.
  • Unit Declarations
  • Unit Compositions
    • CoFI Tentative Document: LanguageSummary --Version 0.95-- March 6, 1997.
    Comments to cofi-language@brics.dk