Condition

A condition describes either a global system state (global condition) referring to all instances contained in the MSC or a state referring to a subset of instances (nonglobal condition). In the second case the condition may be local, i.e. attached to just one instance.

<condition area> ::=

<condition symbol> contains <condition name list>

is attached to {<instance axis symbol>*} set