R979

R979 / 1:1c

Local Create Action yields new instance reference in zero or one New Instance Flow

New Instance Flow conveys reference to new instance produced by exactly one Local Create Action

---

Upon completion, a Local Create Action can provide a reference the a newly created instance. It is common, however, to write action language that does not make use of this output.Even though the underlying create accessor supplied by the MX domain always produces the output, we care only about whether or not the output participates in the data flow of an Activity.

In the case of a Multiple Create Action, the referenced instance will be the Class designated by R993.

By definition, a New Instance Flow originates from a Local Create Action. A New Instance Flow is one of many usages of a Single Instance Flow.

Formalization

New Instance Flow.(Create action, Activity, Domain) -> Local Create Action.(Action, Activity, Domain)