A Tool for Checking Correctness of Design Diagrams in UML