ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
The Unified Modeling Language (UML) is a general-purpose visual modeling language that is used to specify, visualize, construct, and document the artifacts of a software system. The UML notation is largely based on diagrams. However, for certain aspects of a model, diagrams often do not provide the level of conciseness and expressiveness that a textual language can offer. The Object Constraint Language (OCL) is a textual constraint language. OCL comes to provide help on precise information specification in UML models. Validation and testing in software development have been recognized of key importance for long. There are many different approaches to validation: simulation, rapid prototyping, etc.