SysML 2.0b3 FTF Avatar
  1. OMG Issue

SYSML2_ — Keyword Display in Constraints Compartment

  • Key: SYSML2_-455
  • Status: open  
  • 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
  • Updated: Sat, 11 Jan 2025 19:35 GMT