Checking Data Integrity via the UML Class Diagram | IEEE Conference Publication | IEEE Xplore