Effective abstraction of engineering knowledge for KBE implementation