-
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
SYSML2_ — Keyword Display in Constraints Compartment
- Key: SYSML2_-455
- OMG Task Force: Systems Modeling Language (SysML) 2.0 FTF 2