A model-based framework for software performance feedback