The UML sequence diagram