-
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_-135toKERML_-119makes Annotation::annotatingElement derived, with the derivationannotatingElement = 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
KERML_ — Need to revise derivation of AnnotatingElement::ownedAnnotatingRelationship
- Key: KERML_-146
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2