Object Constraint Language and its Application in Modeling PIM Accurately

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