Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams
Learn about MVM (Model Validator Mixer), a modeling tool for domain engineers that helps them locate, understand and fix consistency problems in UML/OCL class diagrams
Modeling: all you need to know
