Consistency of UML class, object and statechart diagrams using ontology reasoners
This addresses consistency checking for UML modelers, but it is incremental as it builds on existing translation and reasoning techniques.
The authors tackled the problem of automatically analyzing consistency and satisfiability of UML models with multiple diagrams by translating them into OWL 2 and using logic reasoners, resulting in a fully automatic tool chain that requires no OWL 2 expertise from designers.
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML models in OWL 2 and we present a tool chain implementing this translation that can be used with any standard compliant UML modeling tool. The proposed approach is limited in scope, but is fully automatic and does not require any expertise about OWL 2 and its reasoners from the designer.