We present a set of recommendations to help engineers using the Event-B formal methods to specify the basic modelling concepts of the Reference Model of Open Distributed Processing (RM-ODP). This model is developed by the IUT and ISO in order to standarise the development of Open Distributed Processing (ODP). RM-ODP is criticized for inssuficient definition of the basic modeling concepts which limits the applicability of the model. Therefore, the IUT and ISO provide for users a sematic architecture formalization in several formal methods (LOTOS, ACT ONE, SDL-92, Z, and ESTELLE). However, these formal methods are very basic and suffer from the lack of predefined mathematical operators and also some of them are very poor in term of specification techniques. These issues encourage us to develop our recommendations for specifying and developing the ODP using a more sophisticated method called Event-B. This formal methods is very rich in term of predifined mathematical operator and provides sophisticated techniques that can be used during the specification process. Additionaly, Event-B provide a set of verification proofs that highly guarentee the absence of bugs.