The screenshot shows a scenario, when the Validation rule detects a validation rule violation.

The diagram specifies that the state “Ready” shall be the sub-state of the composite state “Working”, but the project browser shows the real facts. Both states are on the same level in the model. Validation dialog informs the user about the issue and ask if auto-correction rule shall be executed to repair the problem.

AMUSE 2.0 provides over 20 validation rules. They ensure UML-correctness of customer models, their internal consistence as well as the consistence between model and diagrams. As far as possible we provide also corresponding auto-correction rules that help the user to repair the model.