A feature-based framework for semantic interoperability of product models