SYSML2_ — Inconsistent compartment labels

There are a number of compartments in graphical notation that have misleading labels. For example, a "require constraints" compartment may contain besides pure "require ConstraintUsage" also "require RequirementUsage" statements. Similary, a "assume constraints" compartment may contain besides "assume ConstraintUsage" also "assume RequirementUsage". A "require RequirementUsage" has the same semantics as a RequirementUsage contained (isComposite==true) by a containing RequirementUsage (see explanation in subclause 7.20.2).

This is a wider problem that potentially also applies to other qualified compartment labels. The full list of affected compartment label qualifiers is:

• assert
• assume
• exhibit
• include use cases
• perform
• require
• satisfy
• verify

In addition a mix of verb forms are used in compartment labels, some use the infinitive (satisfy requirements), some use third person singular form (satisfies). This is confusing and should be regularized in a consistent way, following a single rule.