R62 - modelint/flatland-model-diagram-editor GitHub Wiki

R62 / M:M-1

Stem Type may signify one or many Stem Semantic

Stem Semantic may be signified by one or many Stem Type

---

A Stem Semantic refines the general meaning specified by a Stem Type. A class mult Stem Type, for example, indicates the dual concepts of multiplicity and conditionality. A variety of Stem Semantics are available that each establish a precise pairing of multiplicity and conditionality 1 mult (unconditional 1), Mc mult (conditional many), and so forth. When a Stem is created, it must bind to one of the Stem Semantics available to the Stem’s Stem Type.

A given Stem Semantic may be relevant to more than one Stem Type. The unconditional multiplicity 1 mult and M mult Stem Semantics, for example, also apply to the associative mult Stem Type that defines the Stem on a class diagram’s association class.

A Stem Semantic is not useful if it has no relevance to any Stem Type, so it must be relevant to at least one.

Many Stem Types have meanings that cannot be further modified and therefore may signify only one available Stem Semantic. A to state Stem Type can only mean target state, for example. But every Stem Type does not have a specific meaning unless it can signify at least one Stem Semantic.

Constraint

Diagram type is the same as both Stem Semantic.Diagram type and Stem Type.Diagram type. It establishes the constraint that a Stem Type may signify only a Stem Semantic that is defined on the same Diagram Type.