SysML 2.0b2 FTF Avatar
  1. OMG Issue

SYSML2 — View::viewpointSatisfactions should subset viewpointChecks and checkedConstraints

  • Key: SYSML2-79
  • Status: open  
  • Source: Model Driven Solutions ( Mr. Ed Seidewitz)
  • Summary:

    In the Views::View model as submitted, viewpointSatisfactions was accidentally declared as redefining viewpointChecks. This should be changed to subsetting, so that there can be (non-composite) viewpoint references within a view that subset viewpointChecks but not viewpointSatisfactions.

    Further, because View is a kind of Part, viewpointSatisfactions also has an implied specialization of Item::checkedConstraints. It would be better if this was explicit, to make it clear that any declaration in a View subsetting viewpointSatisfactions automatically satisfies the requirement to subset checkedConstraints, so that this does not require an additional implied specialization.

  • Reported: SysML 2.0a1 — Thu, 27 Apr 2023 20:48 GMT
  • Updated: Wed, 29 Nov 2023 01:06 GMT