Spécification Mode De Diagramme Global D'interaction
Résumé: Le travail présenté dans ce manuscrit s'inscrit dans le domaine de l'ingénierie dirigée par les modèles (IDM) en général et dans la transforamation et la vérification formelle de modèles a l'aide des grammaires de graphes en particulier. nous proposons une approche de transformation de modèles qui se base sur la méta- modélisation. cette approche propose un tranformation des diagrammes globaux d'interaction (IOD) vers maude qui est un langage de programmation formel et déclaratif basé sur la théorie mathématique de la logique de réécriture . l'approche proposée permet de générer du code automatiquement à partir d'un graphe , via une grammaire de transformation proposée par un outil de multi-modélisation ATOMavec lequel il est possible de spécifier un méta-modèle pour l'IODet une grammaire de graphes pour effectuer la transformation.
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".
