SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — OCL for deriveViewDefinitionViewCondition and deriveViewUsageViewCondition are wrong

  • Key: SYSML2-529
  • Status: open  
  • 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
  • Updated: Mon, 8 Apr 2024 18:21 GMT