In the continuity of our research on integration of UML and B, we address in this paper the transformation from OCL (Object Constraint Language), which is part and parcel of UML, into B. Our derivation schemes allow to automatically derive in B not only the complementary class invariants, the guard conditions in state-charts (in OCL) but also OCL specifications OCL class operations, events or use cases.