The following SysML model is valid:
part a {
attribute b;
}
requirement c {
require constraint {a.b >= 10}
}
Even if a isn't the subject of c. Resolving a name inside a constraint shouldn't be different than in other places (see KerML 8.2.3.5 for the details on how names are resolved).
The following SysML model is valid:
Even if
aisn't the subject ofc. Resolving a name inside a constraint shouldn't be different than in other places (see KerML 8.2.3.5 for the details on how names are resolved).