case-usage-only-one-subject

Available in: SysML

This checks that case usages have at most one owned or inherited subject.

Note that the first subject will redefine all other inherited subjects automatically through the implicit step parameters redefinition.

Specification

A CaseUsage must have at most one feature_membership that is a SubjectMembership.

Example

case c {
    subject s;
    subject s2; // error
}

Remove the additional subject:

case c {
    subject s; // ok
}

s implicitly redefines an inherited standard subject Cases::Case::subj.