Agent-based and Term-rewriting Method for Product Upgradeable Design | IEEE Conference Publication | IEEE Xplore