A characterization of UML diagrams and their consistency | IEEE Conference Publication | IEEE Xplore