Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams.