-
Key: KERML_-1
-
Status: open
-
Source: Dassault Systemes ( Mr. Tomas Juknevicius)
-
Summary:
There is currently no validation rule/check constraint which enforces that when doing redefinitions, if redefined feature has isEnd=true, then redefining feature must also have isEnd=true;
Which opens modelers to errors, e.g. in the SysML spec,
ControlPerformances::DecisionPerformance::outgoingHBLink:: earlierOccurrence is not marked as "end" feature. -
Reported: KerML 1.0b1 — Fri, 22 Mar 2024 19:18 GMT
-
Updated: Wed, 17 Apr 2024 21:18 GMT
KERML_ — isEnd of the redefining feature must match isEnd of the redefined feature
- Key: KERML_-1
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2