R996 - modelint/shlaer-mellor-metamodel GitHub Wiki

R996 / 1:1c

Migrate Action applies exactly one Multiple Local Create Action

Multiple Local Create Action is applied by zero or one Migrate Action

---

Each new required Facet results from the application of a Multiple Local Create Action. This will create all the required new instances and initialize their attributes appropriately.

A given Multiple Local Create Action is either independently specified by the modeler as part of a new Lineage creation or is a component of a Migration Action.

Formalization

Migrate Action.(Create action, Activity, Domain) -> Multiple Local Create Action.(Action, Activity, Domain)