The unordered construct defines a set of statements that represent behaviour that should occur in any order.

The syntax for the unordered construct is:

unordered "{"
    ...
"}"

For example,

unordered {
    CheckStock from Seller to Wholesaler;
    CreditCheck from Seller to CreditAgency;
}