-
Key: SYSML21-258
-
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: Wed, 24 Sep 2025 13:32 GMT
SYSML21 — Keyword Display in Constraints Compartment
- Key: SYSML21-258
- OMG Task Force: Systems Modeling Language (SysML) 2.1 RTF