External Operation Output - modelint/shlaer-mellor-metamodel GitHub Wiki

An External Operation may defined a return value constrained by some Type.

Note that the Type cannot be a Class since the external domain has no knowledge of the internal structure of the calling Domain.

So it must be either a Scalar or Table Type.

This constraint is not currently enforced in the metamodel, but it should be -LS 25-9-18

Identifiers

  1. Operation + Domain

Attributes

No non-referential attributes.