Object Constraint Language ( OCL ) is the sub-standard of UML, which can be used not only in constraint and query on models, but also in defining transformation rules and modeling language. 首先对模型转换语言的特性和现有的主要模型转换语言进行了简要的说明和分析,然后对对象约束语言(OCL)作为模型转换语言进行理论相关分析。