General order relation

A general order relation is a binary relation between two message events. It defines a sequencing between the two events which otherwise would not have been defined.

General order relations may also be completed via gates. An order gate connects general order relations of an MSC diagram with an event of another MSC diagram. Order gates must be explicitly named.