Model Driven Upgrade Campaign Specification Generation and Evaluation