R982 - modelint/shlaer-mellor-metamodel GitHub Wiki

R982 / 1:Mc-1

Initializing Attribute Reference takes value from instance in exactly one Single Instance Flow

Single Instance Flow provides referenced instance for zero, one or many Initializing Attribute Reference

---

Each Initializing Attribute Reference takes its value from a single instance obtained from a Single Instance Flow.

The same Single Instance Flow can be used for many purposes, not necessarily attribute initialization. Also there is no reason why the same Single Instance Flow can't supply multiple attribute initializations.

Formalization

Initializing Instance Reference.(Create action, Activity, From attribute, From class, To attribute, To class, Rnum, Domain) ->
    Reference Initialization.(Create action, Activity, From attribute, From class, To attribute, To class, Rnum, Domain)
Initializing Instance Reference.(Flow, Activity, Domain) -> Single Instance Flow.(Flow, Activity, Domain)