Checking a concurrency diagram
• Right-click the diagram, and select > .
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.