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.