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.
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.
ARCH-SPEC-DEFN ::= arch-spec-defn SPEC-NAME ARCH-SPEC
ARCH-SPEC ::= arch-spec UNIT-DECL+ RESULT-UNIT
[TM]
The former ARC-SPEC-REF, allowing re-use of
architectural specifications within other architectural
specifications, is missing now. Can the same effect be achieved by
supplying for the UNIT-SPEC which is needed within a
UNIT-DECL just a SPEC-NAME which is bound to an
ARCH-SPEC?
Discharged:
ARC-SPEC-REF is restored.
CoFI
Note: S-1 --Version 1.3-- 25 April 1997.
Comments to cofi-semantics@brics.dk