Cast To Instance - modelint/shlaer-mellor-metamodel GitHub Wiki

When a Relation Flow is generated and then projected on the identifier of a Class to yield a set of instance references yielding an Instance Flow, we call this a Cast To Instance. See R817 for a detailed example.

Identifiers

1. ID + Activity + Domain
2. Instance flow + Activity + Domain

Attributes

No non-referential attributes.