Object Constraint language question

[shreeya]

Hi,

I am new to OCL.

Let's say i have a class Person and will define the OCL constraint in PIM

context Person inv:
Person.allInstances->forAll(p1, p2 |
p1 <> p2 implies p1.name <> p2.name)

when i convert the PIM to C# model,i am not seeing any changes to the model.

let me know if anyone has any pointers on this.

Thanks