Ingénierie de modèles — IDM (campus UBS, Vannes)

Model driven engineering

Description

L'objectif de cette UE est de fournir les principes fondamentaux de l'ingénierie des modèles que sont les modèles, les méta-modèles et les transformations de modèles. Il s'agit également d’introduire des principes généraux de la conception des systèmes cybersécurisés à base de modèles. Cette UE présentera comment assurer un continuum des exigences à la conception et à la génération de code. Elle mettra l’accent sur des avancées récentes de tests de transformations en utilisant l’approche par contrats.

Mots-clés

Modèle, Métamodèles, Transformation de modèles,  Refactoring, Contrats

Pré-requis

Des connaissances en modélisation et génie logiciel sont nécessaires.

Références biblio pour obtenir les pré-requis

Blanc X., Mounier I., UML2 pour les développeurs, Eyrolle,s 2006.

Modules allant naturellement avec ce cours

ARC

Contenu

Partie 1. Des modèles objets à la méta-modélisation
- Réflexion
- Méta-programmation versus métamodéisation, Modèles et méta-modèles, Langages de modélisation et langages de description des métamodèles
- Modèles du cycle de développement
Partie 2. Transformations de modèles
- Les différents standards, dont QVT
- Vérification des transformations, traçabiité des tests et contrats de transformations
Partie 3. Des exigences à la génération de code
- Modélisation des exigences
- Refactoring, application de patrons de conception et tests de qualité
Partie 4. Applications de l'ingénierie de modèles aux systèmes cybersécurisés à logiciel prépondérant

Compétences acquises

Savoir et savoir faire associés :
- Maîtriser les notion de modèles, métamodèles et transformation de modèles
- Connaissance des principes généraux de la conception basée sur les modèles
- Savoir utiliser l'ingénierie dirigée par les modèles pour automatiser l'analyse des exigences, réaliser des refactorings de systèmes et appliquer automatiquement des patrons de conception.

Références

Jézéquel J-M., Combemale B., Vojtisek D., Ingénierie dirigée par les modèles : des concepts à la pratique, Editions ellipses, 2012.                                              
Bach J-C., Un ilot formel pour les transformations de modèles qualifiables, Doctorat de l’Université de Lorraine, 2012.                                                                  
Davies J et al.,  Model-driven engineering of information systems: 10 years and 1000 versions, Science of Computer Programming, Issue 89,  2013, pp.88-104.

Notions ou résultats marquants du cours

Métamodélisation et refactoring de systèmes

Modalité d'évaluation

Contrôle continu (activités pratiques et exercices de recherche, présentations d'articles et devoirs)

Enseignants

Isabelle Borne (responsable), Nicolas Belloir