Describing and Verifying Integrity Constraints in XML Using OCL | IEEE Conference Publication | IEEE Xplore