Concurrency primitives
You can add the following concurrency primitives to your Concurrency Model:
![](../../Integrity_Modeler/images/but-cond-pool.gif)
Pool
![](../../Integrity_Modeler/images/but-cond-mailbox.gif)
Mailbox
![](../../Integrity_Modeler/images/but-cond-semaphore.gif)
Semaphore
![](../../Integrity_Modeler/images/but-cond-channel.gif)
Channel
![](../../Integrity_Modeler/images/but-cond-signal.gif)
Synchronizer
![](../../Integrity_Modeler/images/but-cond-monitor.gif)
Monitor
![](../../Integrity_Modeler/images/but-cond-flag.gif)
Event flag group
You attach an event or operation message to a link with a concurrency primitive, but to attach an operation message the primitive must first be
associated with a class.
Use the appropriate icon on the Concurrency Diagram tab to
add a concurrency primitive to the diagram, or you can drag a concurrency primitive from the dictionary.
When you have added a concurrency primitive, you can change it through the concurrency primitive's Property pages, including linking it to a class.