-
Key: SYSML2-529
-
Status: closed
-
Source: Model Driven Solutions ( Mr. Ed Seidewitz)
-
Summary:
The OCL for the constraints deriveViewDefinitionViewCondition and deriveViewUsageViewCondition are both
viewCondition = featureMembership-> selectByKind(ElementFilterMembership). condition
This is clearly wrong, since ElementFilterMemberships are not featureMemberships.
In addition, the description of the deriveViewUsageViewCondition constraint refers to ViewDefinition instead of ViewUsage, as do the descriptions of deriveViewUsageSatsifiedViewpoint, deriveViewUsageViewRendering and validateViewUsageOnlyOneViewRendering. (And the description of deriveViewUsageExposedElement is missing.)
-
Reported: SysML 2.0b1 — Sat, 11 Nov 2023 22:19 GMT
-
Disposition: Resolved — SysML 2.0b2
-
Disposition Summary:
Correct the OCL and descriptions
The indicated OCL and descriptions need to be corrected.
-
Updated: Tue, 1 Jul 2025 14:50 GMT
SYSML2 — OCL for deriveViewDefinitionViewCondition and deriveViewUsageViewCondition are wrong
- Key: SYSML2-529
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF