Verification and validation of model transformation in model driven development

As software system rapidly increases in size and complexity, the task of acquiring high quality software has become very complex indeed. This condition has pushed the dependency of software engineering society against software system while the same time has motivated the growth of software quality. Currently, the new paradigm has emerged as a new challenge of software quality in software development, namely Model Driven Development (MDD) and its variations such as MDA (Model Driven Architecture), MDE (Model Driven Engineering), MBD (Model Based Development), and MIC (Model Integrated Computing) (Kuzniarz and Staron 2007).