Abbreviation
OutSyncConIntBlock
Description
This rule belongs to SysML ValSuite (passive validation). It checks to see if the Flow Properties and Directed Features of the Conjugated Interface Block match the original Interface Block Flow Properties and Directed Features (including inherited), but in the opposite direction.
The Inout direction of the Flow Properties and the providedRequired direction of the Directed Features are the same in both the conjugated and original Interface Blocks. |
Severity
warning
Constrained element
Conjugated Interface Block
Solvers
You can use one of the following solvers:
Example