The main trait used for representing an ordering or the
name of a participant.
Every structure that relies on this trait, such as
RoleA
and
RoleB
, contains at
least a parameter, which is a Role
itself. The only exception is
RoleEnd
, which represents
the end of any ordering.