R512 - modelint/shlaer-mellor-metamodel GitHub Wiki

R512 / 1:M

State Model defines one or many State Signature

State Signature is defined in exactly one State Model

---

See [R515] for an explanation of the purpose and policy behind State Signature definition.

Every Real State requires a single State Signature defining its required set of Parameters. Since a State Model defines at least one Real State it is clear that the State Model must define at least one State Signature.

Each State Signatures is defined on a single State Model. So if you have two State Models A and B, each of which defines one or more States that do not require any Parameters, you will need a separate empty parameter set State Signature for each.