Korrespondierende Objekte müssen vom selben Typ sein.
Beispiel
Ein Objekt vom Typ message end event, das eine Nachricht generiert, muss durch ein Objekt vom Typ message start event behandelt werden, das die Nachricht empfängt.
Konstrukte wie im Beispiel muss der Modellierer beachten, um Inkonsistenzen zu vermeiden.