An Empirical Evaluation of the i* Framework in a Model-Based Software Generation Environment