A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Consistency of UML class, object and statechart diagrams using ontology reasoners
2015
Journal of Visual Languages and Computing
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
doi:10.1016/j.jvlc.2014.11.006
fatcat:2jgeqtvmnvabfbbmzshk24tnuy