conjugated-port-definition-original-port-definition

Available in: SysML

This checks that conjugated port definitions are owned their original port definitions, and they are conjugated.

This is impossible to trigger through textual syntax.

Specification

The original_port_definition of the owned_port_conjugator of a ConjugatedPortDefinition must be the original_port_definition of the ConjugatedPortDefinition.