Transformation Of Ocl Constraints To Focalize Specifications
Résumé: FoCaLiZe est un environnement de développement basé sur une approche formelle, qui intègre un prouver automatique (ZENON) et un outil d’aide à la preuve (Coq). D'autre part, le langage graphique UML est largement utilisé pour modéliser les systèmes de manière synthétique et intuitive, mais il manque les bases formelles. Dans ce mémoire de master, nous avons étudié les règles de transformation de contraints OCL en spécifications FoCaLiZe dans le contexte de MDE (Model Driven Engineering), puis nous proposons une implémentation des règles de transformation en utilisant le langage XSLT. L'implémentation proposée supporte directement les principaux contraints OCL (invariants et pre/post-conditions). Nous illustrons notre implémentation par des exemples concrets.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
