PowerDesigner provides powerful capabilities for generating one model from another, and then keeping the two models synchronized. Thus, you could model your data at an abstract level in a CDM, generate an LDM to model implementation-neutral features, and then generate multiple PDMs for various DBMSs.