FERHAT HAMIDA, ImaneSALHI, Noura2023-03-142023-03-142016-05university of el ouedhttps://dspace.univ-eloued.dz/handle/123456789/16450memoire master informatiqueUML est un langage de modélisation objet possédant une popularité incomparable à la fois dans le monde industriel qu’académique. Mais, il demeure néanmoins une méthode semiformel parce qu’il n’offre pas la possibilité pour une vérification et preuve formelle. D'autre part, les méthodes formelles permettent de s’assurer de la fiabilité des logiciels par des procédés mathématiques. Un exemple de ces outils est le système FoCaLiZe, un environnement de développement orienté objet et de la programmation certifiée. Dans ce mémoire, nous proposons une approche MDE ("Model Driven Engineering") pour de transformation automatique des diagrammes d’activité d’UML en spécifications FoCaLiZe. Pour atteindre cet objectif, nous avons opté pour une approche directe (transformationnelle), en définissant une règle de transformation pour chaque constituant de diagramme d’activité. Pour mettre en œuvre notre démarche de transformation, nous utilisons le langage XSLT (Extensible Stylesheet Language Transformation), que nous permettra de générer une spécification FoCaLiZe à partir d'un document XMI (XML Meta data Interchange)UML is an object modeling language with the unparalleled popularity in both the industrial and academic world. But it still remains a semi-formal method because it does not offer the possibility for verification and formal proof. On the other hand, formal methods to ensure software reliability through mathematical processes. An example of these tools is the Focalize system, an object-oriented development environment and certified programming. In this paper, we propose an MDE ("Model Driven Engineering") approach for automatic conversion activity diagrams of UML in Focalize specifications. To achieve this, we opted for a direct approach (transformational), defining a transformation rule for each activity diagram component. To implement our transformation process, we use XSLT (Extensible Stylesheet Language Transformation), we will generate; FoCaLiZe a specification from a document XMI (XML Metadata Interchangefrdiagramme d’activité d’UML, FoCaLiZe, MDE, XSLT, XMI.activity diagrams of UML, FoCaLiZe, MDE, XSLT, XMI.Master