requirement-definition-only-one-subject

Available in: SysML

This checks that requirement 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 RequirementDefinition must have at most one feature_membership that is a SubjectMembership.

Example

requirement def R {
    subject s;
    subject s2; // error
}

Remove the additional subject:

requirement def R {
    subject s; // ok
}

s implicitly redefines an inherited standard subject Requirements::RequirementCheck::subj.