Unified Modified Language (UML) is a modeling language standard for identifying, recording and designing a software. Reusing UML diagrams can help to accelerate the software development process.

Simulating real world applications containing many functionalities using programs tend to become very complex in structure and behaviour. Validating such programs for its correctness require correct ...