Model Consistency Checker

For UML 2.0

MCC is a tool for automatic verification and analysis of UML 2.0 models using Description Logic as the underlying formalism. In order to achieve user-friendliness, this tool has been implemented as a plug-in for the popular UML modeling tool Poseidon for UML (Gentleware). With this approach, system designers have access to their models through the usual Poseidon graphical interface and can apply checks without coming into contact with the formalism behind this technique.