6.3.2 Fitting Views

      FIT-ARG  ::= ... | FIT-VIEW
      FIT-VIEW ::= fit-view VIEW-NAME

A reference to a non-generic fitting argument view FIT-VIEW is simply written:

view VN

It refers to the current global environment, and is well-formed as an argument for a parameter SP_i only when the global environment includes a view definition for VN of type from SP to SP', such that the signatures of SP and of SP_i are the same. The view definition then provides the fitting morphism from the parameter SP_i to the argument specification given by the target SP' of the view.

If the generic specification being instantiated has imports, the fitting morphism is then the union of the specification morphism given by the view and the identity morphism on the imports. The argument specification is the union of the target of the view and the imports.

[CHANGED:] Each model of SP is required to be a model of SP_i, otherwise the instantiation is undefined. []

      FIT-VIEW ::= ... | fit-view VIEW-NAME FIT-ARG+

A fitting argument view FIT-VIEW involving the instantiation of a generic view to fitting arguments is written:

view VN[FA₁]...[FA_n]

It refers to the current global environment, and is well-formed only when the global environment includes a generic view definition for VN with parameters that can be instantiated by the indicated fitting arguments FA₁, ..., FA_n to give a view of type from SP to SP', such that the signatures of SP and of SP_i are the same. [CHANGED:] As with non-generic views, each model of SP is required to be a model of SP_i, otherwise the instantiation is undefined. []  [DELETED]