L'ingénierie dirigée par les modèles. Au-delà du MDA , livre ebook
235
pages
Français
Ebooks
2022
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
235
pages
Français
Ebooks
2022
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Publié par
Date de parution
06 septembre 2022
EAN13
9782746228658
Langue
Français
Poids de l'ouvrage
7 Mo
L'IDM, généralisation du MDA de l'OMG, est une nouvelle approche qui met les modèles, et non pas les programmes, au centre de la démarche en Génie Logiciel. Les avantages annoncés de l'IDM sont nombreux: indépendance vis à vis des évolutions technologiques, meilleure maîtrise de la complexité, meilleure réutilisation etc. Mais qu'en est-il en réalité ? Cet ouvrage s'adresse aux scientifiques, enseignants, étudiants, et plus généralement à toutes les personnes curieuses qui recherchent un point de vue objectif et critique sur l'IDM. Il propose un discours argumenté sur les points forts et les points faibles de l'IDM, en essayant d'identifier les fondements de cette approche plutôt que d'en rester aux techniques du moment. L'ouvrage s'attache à montrer les emprunts et les synergies entre l'IDM et des disciplines plus anciennes. Il donne une vision vaste et critique des diverses facettes, des tendances, des succès et des difficultés que rencontre aujourd'hui l'IDM.
Voir
Publié par
Date de parution
06 septembre 2022
EAN13
9782746228658
Langue
Français
Poids de l'ouvrage
7 Mo
L’ingénierie dirigée par les modèles
©LAVOISIER, 2006 LAVOISIER 11, rue Lavoisier 75008 Paris
www.hermes-science.com www.lavoisier.fr
ISBN 2-7462-1213-7
Le Code de la propriété intellectuelle n'autorisant, aux termes de l'article L. 122-5, d'une part, que les "copies ou reproductions strictement réservées à l'usage privé du copiste et non destinées à une utilisation collective" et, d'autre part, que les analyses et les courtes citations dans un but d'exemple et d'illustration, "toute représentation ou reproduction intégrale, ou partielle, faite sans le consentement de l'auteur ou de ses ayants droit ou ayants cause, est illicite" (article L. 122-4). Cette représentation ou reproduction, par quelque procédé que ce soit, constituerait donc une contrefaçon sanctionnée par les articles L. 335-2 et suivants du Code de la propriété intellectuelle.
Tous les noms de sociétés ou de produits cités dans cet ouvrage sont utilisés à des fins d’identification et sont des marques de leurs détenteurs respectifs.
Printed and bound in England by Antony Rowe Ltd, Chippenham, January 2006.
L’ingénierie dirigée par les modèles
au-delà du MDA
sous la direction de Jean-Marie Favre Jacky Estublier Mireille Blay-Fornarino
Il a été tiré de cet ouvrage
45 exemplaires hors commerce réservés
aux membres du comité scientifique,
aux auteurs et à l’éditeur
numérotés de 1 à 45
L’ingénierie dirigée par les modèles sous la direction de Jean-Marie Favre, Jacky Estublier et Mireille Blay-Fornarino fait partie de la série INFORMATIQUE ET SYSTÈMES D’INFORMATION dirigée par Jean-Charles Pomerol
TRAITÉIC2 INFORMATION– COMMANDE– COMMUNICATION sous la direction scientifique de Bernard Dubuisson
Le traité Information, Commande, Communication répond au besoin de disposer d'un ensemble complet des connaissances et méthodes nécessaires à la maîtrise des systèmes technologiques.
Conçu volontairement dans un esprit d'échange disciplinaire, le traité IC2 est l'état de l'art dans les domaines suivants retenus par le comité scientifique :
Réseaux et télécoms
Traitement du signal et de l'image
Informatique et systèmes d'information
Systèmes automatisés et productique
Management et gestion des STICS
Cognition et traitement de l’information
Chaque ouvrage présente aussi bien les aspects fondamentaux qu'expérimentaux. Une classification des différents articles contenus dans chacun, une bibliographie et un index détaillé orientent le lecteur vers ses points d'intérêt immédiats : celui-ci dispose ainsi d'un guide pour ses réflexions ou pour ses choix.
Les savoirs, théories et méthodes rassemblés dans chaque ouvrage ont été choisis pour leur pertinence dans l'avancée des connaissances ou pour la qualité des résultats obtenus dans le cas d'expérimentations réelles.
Liste des auteurs
Benoit BAUDRY CEA-List-Saclay INRIA-Rennes
Jean BÉZIVIN ATLAS INRIA-LINA Université de Nantes
Mireille BLAY-FORNARINO ESSI/I3S Nice Sophia-Antipolis
Mokrane BOUZEGHOUB Laboratoire PRiSM Versailles
Ian BULL Université de Victoria Canada
Hubert DUBOIS CEA-List Saclay
Laurence DUCHIEN LIFL Lille
Jacky ESTUBLIER LSR-IMAG Grenoble
Jean-Marie FAVRE LSR-IMAG Grenoble
Paul FRANCHI-ZANNETTACCI ESSI/I3S Nice Sophia-Antipolis
Sébastien GÉRARD CEA-List Saclay
Jean-Marc JÉZÉQUEL IRISA/Triskell Rennes
Raphaël MARVIE LIFL Lille
Chokri MRAIDHA CEA-List Saclay
François TERRIER CEA-List Saclay
Table des matières
Chapitre 1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1. Evolutions récentes en ingénierie dirigée par les modèles . . . . . . . . 1.1.1. Le MDA et lIDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.2. LUML et lIDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.3. Les objets et lIDM . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.1.4. Les méthodes de modélisation et lIDM . . . . . . . . . . . . . . . 1.1.5. La programmation par aspects et lIDM . . . . . . . . . . . . . . . 1.1.6. Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Concepts essentiels de lIDM . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.1. Modèles etReprésentationDe(µ) . . . . . . . . . . . . . . . . . . . 1.2.2. Métamodèles etEstConformeA(χ. . . . . . . . . . . . . . . . .) . 1.2.3. Métamodèlesversuslangages. . . . . . . . . . . . . . . . . . . . . . 1.2.4. Espaces techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2.5. Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Le contenu de louvrage . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.4. Lesauteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.5. Pour en savoir plus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.6. Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17 18 18 19 21 21 23 23 24 24 26 27 27 29 29 31 32 33
Chapitre 2. Concepts de base de lIDM Modèle, métamodèle, transformation, mégamodèle35. . . . . . . . . . . . . . . . . . . . . . . . . . . . . Jean-Marie FAVREet Jacky ESTUBLIER2.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.2. Système . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.3. Modèles, systèmes modélisés et la relationModèleDe(µ38) . . . . . . . . 2.4. Ensembles, éléments et la relationElémentDe(ε) . . . . . . . . . . . . . 41 2.5. Métamodèles et la relationElémentDe(ε) . 44. . . . . . . . . . . . . . . . . 2.6. Sous-systèmes, composites et la relationComposéDe(δ). . . . . . . . 46
10 Lingénierie dirigée par les modèles
2.7. Eléments de modèle, éléments modélisés et la relationInterprétéComme(ι) . . . . . . . . . . . . . 2.8. Transformations (τ). . . . . . . . . . . . . . . . . . . 2.8.1. Instances de transformation . . . . . . . . . . . 2.9. Transformations . . . . . . . . . . . . . . . . . . . . . 2.10. Modèles de transformations . . . . . . . . . . . . . 2.11. Conclusion . . . . . . . . . . . . . . . . . . . . . . . 2.12. Bibliographie. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47 49 49 50 51 51 51
Chapitre 3. Le génie logiciel et lIDM : une approche unificatrice par les modèles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53Jean-Marc JÉZÉQUEL, Sébastien GÉRARD, Chokri MRAIDHAet Benoit BAUDRY3.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 3.2. Lingénierie des exigences . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 3.2.1. Vision globale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 3.2.2. Des exigences textuelles au modèle des exigences . . . . . . . . . 57 3.2.3. Synthèse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58 3.3. Application de patrons de conception (design patterns59). . . . . . . . . . 3.4. Du modèle de lapplication à son exécution. . . . . . . . . . . . . . . . . 61 3.4.1. Linterprétation de modèles . . . . . . . . . . . . . . . . . . . . . . . 62 3.4.2. La compilation de modèles . . . . . . . . . . . . . . . . . . . . . . . 62 3.4.3. La génération de codes . . . . . . . . . . . . . . . . . . . . . . . . . . 63 3.5. Génération de tests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 3.5.1.Model-based testing. . . . . . . . . . . . . . . . . . . . . . . . . . . 64 3.5.2. Test structurel et test à partir des exigences . . . . . . . . . . . . . 68 3.6. Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 3.7. Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
Chapitre 4. Les plates-formes dexécution et lIDM. . . . . . . . . . . . . . . Raphaël MARVIE, Laurence DUCHIENet Mireille BLAY-FORNARINO4.1. Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.3. Caractérisation des infrastructures dexécution . . . . . . . . . . . . . . . 4.3.1. Une caractérisation selon trois axes . . . . . . . . . . . . . . . . . . 4.3.2. Lexemple de la plate-forme dexécution Corba . . . . . . . . . . . 4.3.2.1. Gestion des désignations et des liaisons . . . . . . . . . . . . 4.3.2.2. Gestion des interactions entre objets distants . . . . . . . . . 4.3.3. Infrastructure etPlatform Independence: discussion . . . . . . . . 4.4. Modèles et métamodèles de plates-formes . . . . . . . . . . . . . . . . . 4.4.1. Modèle de plate-forme . . . . . . . . . . . . . . . . . . . . . . . . . .
71
71 74 79 79 82 82 83 84 85 86
