Sequence and collaboration diagrams for validating an ATM card