We have successfully applied the User Interface Transition Diagrams to model the behavior of the system user interfaces and Detailed Sequence Diagrams to model the sequence of messages between the ...