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: A case may own at most one subject
}

Remove the additional subject:

case c {
    subject s; // ok
}

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