SysML 2.0b4 FTF Avatar
  1. OMG Issue

SYSML2_ — Keyword Display in Constraints Compartment

Open Closed All
  • Key: SYSML2_-455
  • Status: closed  
  • Source: Dassault Systemes ( Mr. Tomas Juknevicius)
  • Summary:

    There is an inconsistency between Table 18. Constraints - Representative Notation (specifically the 'Constraints Compartment' element) and the Graphical BNF (section 8.2.3.19).
    In the example, the keywords 'require', 'assume', and 'assert' are displayed before the constraint name. These keywords are only defined under 'AssertConstraintUsage' (for 'assert') and 'RequirementKind' (for 'assume' and 'require'). However, these elements are not included within the 'constraints-usage-compartment-element' specification.
  • Reported: SysML 2.0b2 — Mon, 23 Dec 2024 09:25 GMT
  • Disposition: Deferred — SysML 2.0b4
  • Disposition Summary:

    Defer to RTF

    This issue was submitted after the end of the comment period, and the FTF has decided to defer its consideration to a future RTF.
  • Updated: Sat, 19 Jul 2025 19:20 GMT