UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams