Finally,OCL is presented based on model transformation language which provided a feasible and effective way for automated model transformation description and implementation.

• 最后,在讨论的基础之上,提出了基于对象约束语言的模型转换语言,为形式化及自动化的模型转换描述与实现提供了一种有效的方法。