Abstract：Model-driven architecture (MDA) is a new and very important software development methodology launched by OMG following CORBA and UML. The pivotal problem of MDA is model transformation，and moreover, model transformation language is the key to the implementation of model transformation. This paper, from the perspective of metal model MOF, first, the expansion of dynamic function is made to have OCL the ability to express dynamic behavior semantics; then, through the expansion of keywords concerned, a complete framework of model transformation is defined. The middle conversion object technique is also proposed to make model transformation traceable and maintain the synchronization of source model and target model.
