Consistency of UML class, object and statechart diagrams using ontology reasoners ?
Reasoning of UML models containing multiple class, object and statechart diagrams. Reasoning of UML models using logic reasoners for the Web Ontology Language OWL 2. We describe how to translate UML class, object and statechart diagrams in OWL 2. We present an automatic tool chain implementing UML to OWL 2 translations. The implemented tool can be used with any standard compliant UML modeling tool.
consistency uml ontology reasoning