-
Key: KERML-110
-
Status: open
-
Source: Self ( Jim Ciarcia)
-
Summary:
Third Paragraph
disjoining disjoint Person::parents from Person::children { doc /* No Person can be their own parent. */ }
The documentation does not reflect the actual disjoining being performed.
The disjoin separates a person's parents set from that person's children set.
Thus the disjoin is not about the person himself
Either fix the documentation to say "A person's parents can't also be their children, and visa versa."
or fix the disjoining
disjoining disjoint Person::self from Person::parents -
Reported: KerML 1.0b1 — Sun, 9 Jul 2023 23:11 GMT
-
Updated: Mon, 8 Apr 2024 21:42 GMT
KERML — Disjoining example conflicts with textual description
- Key: KERML-110
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF