8.3.1.5 Unit Applications

      UNIT-APPL ::= unit-appl UNIT-NAME FIT-ARG-UNIT*

A unit application UNIT-APPL is written:

UN[FAU₁]...[FAU_n]

      FIT-ARG-UNIT ::= fit-arg-unit UNIT-TERM SYMB-MAP-ITEMS*

A fitting argument FAU_i is written: [CHANGED:]

UT'_i fit SM_i

The fitting argument fits the argument unit given by the unit term UT'_i to the corresponding formal argument for the generic unit via a signature morphism determined by the symbol mapping SM_i. [] The signature morphism is obtained in the same way as for generic specifications. Unmapped symbols are included unchanged. Of course, the signature of the actual argument might coincide with the corresponding signature in the generic unit type, in which case no extra fitting is needed, and the argument unit is passed to the generic unit directly. The compatibility of the arguments must be ensured (by checking that shared symbols originate from the same unit declaration).

[CHANGED:] Each fitting argument unit FAU_i is required to be a model of the corresponding argument specification, otherwise the unit application is undefined. []