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 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.
The use of an ARCH-SPEC a SPEC is interpreted as the
signature and class of models that consist of all the possible
resulting units built by the ARCH-SPEC in this case the
resulting units must not be parametrized).
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
A basic architectural specification BASIC-ARCH-SPEC consists of
a list of unit declarations and definitions 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.
BASIC-ARCH-SPEC ::= basic-arch-spec UNIT-DECL-DEFN+ RESULT-UNIT
CoFI
Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to cofi-language@brics.dk