对象约束语言及其在精化PIM中的应用

Object Constraint Language and its Application in Modeling PIM Accurately

为了应用精确、完备的PIM自动进行模型转换、校验及编译,分析了OCL元模型与UML元模型间的关系,在此基础上对OCL在精确化平台无关模型(PIM)方面的应用进行了研究,指出OCL面临的挑战,并对OCL的研究方向提出了几点建议。对象约束语言OCL可以对模型中的元素进行约束和查询,可以在MOF的任意一层上定义模型语言,还可以通过各种方法定义模型的转换规则。

In order to apply the accuracy and complete PIM to implement model transform automatically, check and compilation,this paper analyzes the relations between metamodels of OCL and UML,and the studies the applcation in modeling PIM accurately in MDA framework and points out the challenges and several new suggestions in researching of OCL. OCL is permitted to constrain and inquiry the elements in the model ,define the model language on any layer of MOF and transform rules of model by different ways.