An abstraction mechanism for modeling generation | IEEE Conference Publication | IEEE Xplore