Semantic abstraction rules for class diagrams | IEEE Conference Publication | IEEE Xplore