Towards Rewriting Logic Based Architecture for Model Transformation

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