-
Key: KERML-112
-
Status: closed
-
Source: Self ( Jim Ciarcia)
-
Summary:
Constraints
deriveTypeOwnedDifferencing, deriveTypeOwnedDisjoining, deriveTypeOwnedUnioning
All 3 OCL derivation expressions are missing the attribute assignment "=" like all the other derive Constraints -
Reported: KerML 1.0b1 — Sun, 9 Jul 2023 23:31 GMT
-
Disposition: Resolved — KerML 1.0b2
-
Disposition Summary:
Correct OCL
Agreed. In addition, the OCL for deriveTypeOwnedConjugator has the same problem.
-
Updated: Tue, 1 Jul 2025 15:00 GMT
KERML — deriveTypeOwned TypeRelationship constraints have incomplete OCL
- Key: KERML-112
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF