On this page


Three validation rules complement each other to check whether the structure model is compatible with the behavior model. If any inconsistencies are found, the structure model can be automatically synchronized with the behavior model using solvers. First, you must synchronize interfaces to handle Connectors and, finally, Exchanges. As a consequence, manual work is reduced.

Tip

You can handle detected inconsistencies using solvers directly in:

  • Internal Connectivity Diagram
  • Validation Results panel

Handling missing Ports and Interfaces

The first validation rule checks whether Ports and Interfaces are compatible with flows between the Asset Roles. The missing Ports and Interfaces can be handled automatically using solvers. 

To create missing Ports and Interfaces


  1. Do one of the following:
    • In the Internal Connectivity Diagram, select an Asset Role highlighted in yellow, and then in the smart manipulator toolbar, click.

    • In the open Validation Results panel, right-click a validation result. 

  2. Select one of the following:
    • Create <viewpoint name> Port - creates a new Port typed by a compatible Interface.
    • Choose Compatible <viewpoint name> Interface - changes an existing Port type to a compatible Interface.
    • Add Missing Flow Property - adds a new Flow Property to an Interface that types a Port.
    • Reverse Direction of <viewpoint name> Port - changes the Port direction, thus changing the Flow Property direction of an Interface that types a Port.

A Port typed by a compatible Interface is created. 

Choosing a compatible Interface

If you select the Choose Compatible Interface solver, the Choose Port with Compatible Interface dialog opens.

You can now choose a Port and type it with an Interface with Flow Properties compatible with the type and direction of the missing flow.

Alternatively, you can create a new Port and an Interface to type the Port. For this, select <NEW>.

Choosing a Port and specifying a compatible Interface as its type.

Handling missing Connectors

The second validation rule checks whether a Connector exists between the two compatible Ports owned by the Asset Role. The missing Connectors can be handled automatically using solvers.

To create missing Connectors


  1. Do one of the following:
    • In the Internal Connectivity Diagram, select a Port highlighted in yellow, and then in the smart manipulator toolbar, click.
    • In the open Validation Results panel, right-click a validation result. 
  2. Select Create <viewpoint name> Connector.

A Connector between the two compatible Ports is created. 

Handling missing Exchanges

The third validation rule checks realized Exchanges in Activities and help to ensure the correct Exchanges are realized on Connectors that connect Ports typed by compatible Interface. The missing Exchanges can be handled automatically using solvers.

To realize missing Exchanges on Connectors


  1. Do one of the following:
    • In the Internal Connectivity Diagram, select a Connector highlighted in yellow, and then in the smart manipulator toolbar, click.
    • In the open Validation Results panel, right-click a validation result. 
  2. Select one of the following:
    • Realize Missing <viewpoint name> Exchange - creates a new compatible Exchange or reuses an existing one and realizes it on the Connector. 
    • Open <viewpoint name> Exchange Manager - opens the Exchange Manager* dialog.
    • Change Exchange Realization Compatibility Checking - opens the Project Options dialog to enable/disable the Exchange realization checking. 

A compatible Exchange is realized on the selected Connector. 

Navigating to elements

To learn more about the validated elements, in the smart manipulator toolbar of the Internal Connectivity Diagram or Validation Results panel, select the Navigate To command to navigate to:

  • Activity Edges in the Process Flow diagram from which the missing flow has been identified.
  • Asset Roles in the Internal Connectivity Diagram between which items are flowing.

Elements are automatically selected on the diagram pane and in the Containment tree. 

 

Navigating to an element from the smart manipulator toolbar.