-
Key: KERML-38
-
Status: closed
-
Source: NIST ( Mr. Conrad Bock)
-
Summary:
In the Links model library, BinaryLink::source/target are defined as
assoc all BinaryLink specializes Link { feature participant: Anything[2] nonunique ordered redefines Link::participant; readonly end feature source: Anything[0..*] subsets participant; readonly end feature target: Anything[0..*] subsets participant; }
making source/target unique by default (subsets don't inherit ordering/uniqueness). This prevents modelers from defining the corresponding features of associated classifiers as nonunique (see KERML-37), because nonunique is less restrictive than unique.
-
Reported: KerML 1.0a1 — Wed, 26 Apr 2023 15:19 GMT
-
Disposition: Resolved — KerML 1.0b2
-
Disposition Summary:
BinaryLink::source/target nonunique
Add nonunique keyword to BinaryLink::source/target in Links.kerml.
-
Updated: Tue, 1 Jul 2025 15:01 GMT
KERML — Binary association ends always unique
- Key: KERML-38
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF