OBTAINING STATES INVARIANTS FROM CLASS DIAGRAM IN UML.P