type-owned-multiplicity
Available in: KerML
This checks that types have at most one owned multiplicity.
Specification
A
Typemay have at most oneowned_memberthat is aMultiplicity.
Example
This is only possible in KerML:
class B [1] {
multiplicity [3]; // error
}