KerML 1.0b2 FTF Avatar
  1. OMG Issue

KERML — deriveTypeOwned TypeRelationship constraints have incomplete OCL

  • 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