-
Key: KERML_-140
-
Status: closed
-
Source: Model Driven Solutions ( Mr. Ed Seidewitz)
-
Summary:
The abstract syntax for MultiplicityRange specifies that bound redefines ownedMember (see 8.3.4.11.2). However, the concrete syntax production for MultiplicityRange (see 8.2.5.11) allows it to have a TypeBody, which can include additional ownedMembers than the bounds. Indeed, the MultiplicityRanges declared in the Base library model have bodies with documentation comments, which are ownedMembers in addition to the declared bounds.
-
Reported: KerML 1.0b2 — Fri, 27 Dec 2024 06:26 GMT
-
Disposition: Resolved — KerML 1.0b4
-
Disposition Summary:
Update MultiplicityRange abstract syntax
- Update the abstract syntax for MultiplicityRange so that bound subsets ownedMember, rather than redefining it.
- Revise the derivation constraints for lowerBound and upperBound.
- Add a derivation constraint for bound.
- Add a validation constraint to ensure that the bound Expressions are the first ownedMembers of a MultiplicityRange.
-
Updated: Sat, 19 Jul 2025 18:58 GMT
KERML_ — MultiplicityRanges should allow owned members other than bounds
- Key: KERML_-140
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2