UML2 GeneralOrdering

Description

A GeneralOrdering represents a binary relation between two OccurrenceSpecifications, to describe that one OccurrenceSpecification must occur before the other in a valid trace. This mechanism provides the ability to define partial orders of OccurrenceSpecifications that may otherwise not have a specified order.

Symbol(s)

UML2 GeneralOrdering UML2 GeneralOrdering