Negative: the fragment shows an invalid interaction. Loop: the fragment may execute multiple times, and the guard indicates the basis of iteration.Ĭritical region: the fragment can have only one thread executing it at once. Parallel: each fragment is run in parallel. Equivalent to an alt only with one trace. Optional: the fragment executes only if the supplied condition is true.