To specify the behavior of the interface, first define and initialize two variables:

Next define the state machine of the IUser interface according to the following description:

See the notes and example about a reply in transitions.