Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Indm 2020 2021 chaoui chapitre3 tg slides 2

Faculté des NTIC Département IFA Master Réseaux et Systèmes Distribués RSD Module Ingénierie Dirigée par le Modèles INDM Pr CHAOUI Allaoua Faculté des NTIC Département IFA Allaoua chaoui univ- constantine dz Université Constantine Semestre CIngénierie Dirigée par le Modèles INDM Chapitre Transformation de Graphes Etudiants concernés Faculté Institut Nouvelles technologies Université Constantine Département IFA Niveau Spécialité Master Réseaux et Systèmes Distribués RSD Semestre CModélisation Multi-Paradigme ? Approche de développement des systèmes complexes Basée sur les concepts de l ? approche IDM Indépendante de tout domaine d ? application a ?n de ?? Faciliter automatiser l ? utilisation de multiples modèles ?? Raisonner globalement sur le comportement des systèmes ? Repose sur trois directions de recherche orthogonales Modélisation Multi- abstraction La relation entre des modèles à des niveaux d ? abstraction di ?érents Modélisation Multi-formalisme Le couplage et la transformation entre des modèles décrits dans plusieurs formalismes Méta-Modélisation La description des formalismes et des langages de modélisation Université Constantine CMMP les directions Modélisation Multi-Abstraction ? Un système peut être décrit par plusieurs modèles et dans plusieurs niveaux d ? abstraction ou de détail ? Chaque niveau d ? abstraction est mieux adapté à une t? che particulière ? Le processus de changement d'abstraction est un type de transformation de modèle ? La dérivation automatique de modèles à di ?érent niveaux d ? abstraction augmente la qualité des modèles pour mieux maitriser et comprendre tous les détails du système Université Constantine CMMP les directions Modélisation Multi-Formalisme ? La complexité croissante des systèmes exige l ? introduction de plusieurs formalismes ? Chaque composant aspect du système est modélisé en utilisant le formalisme et l'outil d ? analyse approprié ? Le comportement global du système est évalué en transformant les modèles des composants aspects vers un formalisme unique ? L ? automatisation de ces transformations par des supports outillés augmente la productivité de la modélisation L ? ajout de nouveaux formalismes sans fournir beaucoup d'é ?orts L ? utilisation de nouveaux environnements de simulation et d'analyse Université Constantine CMMP les directions Méta-Modélisation ? Besoin de multiples éditeurs ? La réalisation de ces éditeurs est relativement complexe et coûteuse Solution principe de la Méta-modélisation ? Modéliser les formalismes ? Générer automatiquement des éditeurs pour ces formalismes ? La seule information à fournir est le méta-modèle du langage sans se préoccuper des détails d ? implémentation de l ? éditeur ? Avantages préservation des acquis et exibilité Adaptation aux nouveaux besoins de modélisation Ajout de contraintes spéci ?ques à un domaine Université Constantine CMMP les directions Mettre en relation ? Transformation de modèles permet de relier ces trois dimensions pour cumuler leurs avantages Combiner et transformer les di ?érents formalismes Utiliser des formalismes et des outils spéci ?ques au domaine d ? application Véri ?er la cohérence entre les di ?érentes vues aspects du système ? Di ?érentes manipulations de modèles La transformation de formalismes L ? optimisation de Modèle La simulation La génération de code ? Les modèles et les méta-modèles sont des graphes ?