case-definition-only-one-subject

Available in: SysML

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

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

Specification

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

Example

case def C {
    subject s;
    subject s2; // error
}

Remove the additional subject:

case def C {
    subject s; // ok
}

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