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:

  • Synchronize the Conjugated Interface Block by the Original Interface Block:
    - set the opposite Flow Properties and Directed Features directions of the Conjugated Interface Block.
    - delete any unmatched and/or duplicated properties in the Conjugated Interface Block.
    - create a matching property for the Conjugated Interface Block but in the opposite direction of the Original Interface Block. 
  • Select Original Interface Block in Containment Tree - select the original Interface Block in the Containment tree.

Example