I. Iec, Basic Reference Model of Open Distributed Processing-Parts1, IEC CD 10746, 1994.

I. Recommendation and G. , 1000 -Communications quality of service: a framework and Definitions, 2001.

M. Bouhdadi, A UML-Based Meta-language for the QoS-aware Enterprise Specification of Open Distributed Systems, In: IFIP Series, vol.85, pp.255-264, 2002.

M. Bouhdadi and Y. Balouki, Semantics of Behavioral Concepts for Open Virtual Enterprises, In :Series Lecture Notes in Electrical Engineering, vol.27, pp.275-286, 2009.

Y. Balouki and H. Belhaj, Event B for ODP Enterprise Behavioral Concepts Specification, Proceedings of the World Congress on Engineering, pp.784-788, 2009.

Y. Balouki and M. Bouhdadi, Using BPEL for Behavioral Concepts in ODP Enterprise Language, Virtual Enterprises and Collaborative Networks, IFIP, vol.283, pp.221-232, 2008.

J. Abrial, The B-Book: Assigning programs to meanings, 1996.
DOI : 10.1017/CBO9780511624162

J. Abrial, Extending B without changing it (for developing distributed systems), First B Conference, 1996.

I. Iec, The ODP Trading Function, ISO/IEC JTC1, 1995.

M. J. Butler and S. Hallerstede, The Rodin Formal Modelling tool, Meeting Formal methods in Industry London, 2007.

D. Cansell, D. Méry, and &. J. Rehm, Time Constraint Patterns for Event B Development, Proc. Formal Specification and Development in B, 7th International Conf. of B, pp.140-154, 2007.
DOI : 10.1007/11955757_13
URL : https://hal.archives-ouvertes.fr/hal-00149163