. Le-processus-d, intégration de B dans la construction de spécifications orientées objets UML et les mécanismes de transformation automatiques d'UML vers B sont encore susceptibles d'être améliorés malgré les avancées considérables de la recherche dans ce domaine. En effet, en plus de la formalisation d'UML en B, il est actuellement important d'explorer les mécanismes flexibles et performants qui rendent cette formalisation transparente et attractive. Dans ce papier, nous avons proposé une nouvelle forme d

D. O. Ossami, J. Jacquot, and J. Souquières, Assistance à la construction de spécifications multi-vues UML et B, Marseille (F), 29-31 ocotobre, 2003.

S. Dupuy, Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information, 2000.

E. Y. Wang, H. A. Richter, and B. H. Cheng, Formalizing and integrating the dynamic model within OMT, Proceedings of the 19th international conference on Software engineering , ICSE '97, 1997.
DOI : 10.1145/253228.253239

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1998.

J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design, 1991.

R. Laleau and A. Mammar, A Generic Process to Refine a B Specification into a Relational Database Implementation, ZB 2000: Formal Specification and Development in Z and B, 2000.
DOI : 10.1007/3-540-44525-0_3
URL : https://hal.archives-ouvertes.fr/hal-01124529

K. Lano, The B Language and Method: A Guide to Practical Formal Development. FACIT, 1996.
DOI : 10.1007/978-1-4471-1494-9

E. Meyer, Développements formels par objets: utilisation conjointe de B et d'UML, 2001.

H. P. Nguyen, Dérivation de Spécifications Formelles B à Partir de Spécifications Semi-Formelles, Conservatoire National des Arts et Métiers, 1998.

R. F. Paige, A meta-method for formal method integration, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods (Proc. 4th Intl. Symposium of Formal Methods Europe, pp.473-494, 1997.
DOI : 10.1007/3-540-63533-5_25

R. B. France, E. Grant, and J. Bruel, UMLtranZ: An UML-Based Rigorous Requirements Modeling Technique, 2000.

C. Snook and M. Buttler, U2B
DOI : 10.1007/978-1-4020-2867-0_6

P. Zave and M. Jackson, Conjunction as composition, ACM Transactions on Software Engineering and Methodology, vol.2, issue.4, pp.379-411, 1993.
DOI : 10.1145/158431.158438