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