模型转换的重写逻辑构架研究

• Towards Rewriting Logic Based Architecture for Model Transformation