SYSML2_ — Inconsistent and/or incomplete graphical notation for standard reference-subsetted usages

The specification contains inconsistent graphical notation for the standard textual shorthand constructs that declare reference-subsetted usages. The full list of shorthand reference-subsetted usage patterns to be made consistent is:

• assert (constraint)
• assume (constraint)
• exhibit (state)
• frame (concern)
• include use case
• perform (action)
• require (constraint)
• satisfy (requirement)
• verify (requirement)

In addition, a mix of verb forms are used: some use the infinitive (exhibit states, satisfy requirements), some use third person singular form (exhibits, satisfies). This is confusing and should be regularized following a single rule.

This affects both the representative notation examples in clause 7 as well as the graphical BNF in subclause 8.2.3.