How to avoid inconsistencies

Corresponding objects must be of the same type.

Example

An object of the Message end event type, which generates a message, must be handled by an object of the Message start event type, which receives the message.

To avoid any inconsistencies, the modeler must observe constructs such as those shown in the example above.