R789 - modelint/shlaer-mellor-metamodel GitHub Wiki
R789 / 1:Mc
Update Reference Action updates reference in exactly one Single Instance Flow
Single Instance Flow has referenced updated by zero, one or many Update Reference Action
Let's say that we want to change the assigned takeoff Runway for a Taxiing Aircraft instance and that the Reference to the Runway instance is defined on the Taxiing Aircraft Class. The instance of Taxiing Aircraft must be specified so that we can update the value(s) of any referential attributes in its Reference to the new Runway.
Any given Single Instance Flow may or may not be used to supply an instance to update to any number of destination Actions.