Date Added: Aug 2012
Most of the refinement approach is about functional property of systems. Non-functional properties are as important as functional one. Without an accurate approach for specifying and refining their behaviors, software models will be regarded as imperfect and imprecise, and as a result, software systems cannot be generated correctly. Therefore, how to model such behaviors and how to stepwise refine these behaviors automatically, have become two critical problems in Model Driven Development. In this paper, the authors present an approach for Non-functional refinement in model driven development using high order transformation languages and traceability property of them.