R786 - modelint/shlaer-mellor-metamodel GitHub Wiki

R786 / 1:1

New Simple Reference Action sets reference to exactly one Target Ref Instance

Target Ref Instance is set by exactly one New Simple Reference Action

---

By definition, a single instance is referenced across a simple association. So if we say that a Flying Aircraft is flown by a Pilot (1:1c) where the ``Flying Aircraft instances refers to an instance of Pilot with the `Pilot ID` referential attribute in the `Flying Aircraft` Class, a single instance of Pilot must be provided to initialize a new instance of `Flying Aircraft`.