R565 - modelint/shlaer-mellor-metamodel GitHub Wiki

R565 / 1:Mc

State Model defines zero, one or many Monomorphic Event Specification

Monomorphic Event Specification is defined on exactly one State Model

---

A non-polymorphic event is defined on a single State Model.

A State Model without any Events defined on it has no utility, but it can't do any harm either. We can imagine the minimal case where a single State is defined on a Lifecycle, for example, where each instance just sits in that State. Not useful, but not illegal either.

For each Monomorphic Event Specifications defined on a given State Model an Event Response must be defined for every State in that State Model.