UML Modeling Techniques > Concurrency modeling > Checking a concurrency diagram
Checking a concurrency diagram
Right-click the diagram, point to Report, and then click Consistency.
The report is generated to the Output pane.
Modeler makes the following checks:
There are items on the diagram (C1).
Each instance is stimulated by an incoming message (C20003).
Each, Channel, Event Flag, Mailbox, Monitor, Pool, Semaphore, Synchronizer and Task is associated with a Class (C24008).
There is an Operation or Event message on each link (C20002)
The number of actual parameters and formal parameters match for each message (C20004). You set actual parameters on a message's instance Property Pages.
Each message sequence number is unique (C20006). Message sequence numbers are set on the instance Property Pages for messages.