R1054 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1054 / 1:Mc

Subclass Switch Action gets superclass instance from exactly one Single Instance Flow

Single Instance Flow provides superclass instance to zero, one or many Subclass Switch Action

---

The required Single Instance Flow must provide a reference to an instance of a Superclass.

Any given Single Instance Flow can be input to any number of diverse Actions, not necessarily any Subclass Switch Actions.

Formalization

Subclass Switch Action.(Superclass instance, Activity, Domain) -> Single Instance Flow.(Flow, Activity, Domain)

R1054c

 /R1055/Generalization.Superclass == /R1054/Single Instance Flow/R808/R803/Class.Name

The class name of the specified Generalization superclass must match the name of the instance's class referenced in the Single Instance Flow.