KerML 1.0b3 FTF Avatar
  1. OMG Issue

KERML_ — Need to revise derivation of AnnotatingElement::ownedAnnotatingRelationship

  • Key: KERML_-146
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    The current derivation constraint for AnnotatingElement::ownedAnnotatingRelationship is

    ownedAnnotatingRelationship = ownedRelationship->
        selectByKind(Annotation)->
        select(a | a.annotatingElement = self)
    

    Resolution KERML_-135 to KERML_-119 makes Annotation::annotatingElement derived, with the derivation

    annotatingElement =
        if ownedAnnotatingElement <> null then ownedAnnotatingElement
        else owningAnnotatingElement
        endif
    

    But Annotation::owningAnnotatedElement does not have its own derivation, but is, rather, determined as the inverse property to AnnotatingElement::ownedAnnotatingRelationship. This means that the derivations for AnnotatingElement::ownedAnnotatingRelationship circularly depend on each other and are, therefore, not well defined.

  • Reported: KerML 1.0b2 — Thu, 9 Jan 2025 21:57 GMT
  • Updated: Sat, 11 Jan 2025 21:25 GMT