RÉSEAU(X) DE COMPÉTENCES : ISNET

Transcription

1 RÉSEAU(X) DE COMPÉTENCES : ISNET Demande de subventin N SAGE-X : Titre du prjet Cntrôleur spécialisé "dnnées" dans la visin du patrn MVC Mdèle-Vue-Cntrôleur Acrnyme MVC-CD Axe stratégique Pérennité des dnnées Objectif stratégique Transfrmatin autmatique et incrémentale de règles métiers impactant l'intégrité des dnnées en un cmpsant lgiciel juant le rôle de Cntrôleur spécialisé "Dnnées" dans l'ptique du patrn MVC - Mdèle-Vue-Cntrôleur. Prgramme de recherche Définitin des mdalités de ntatin des règles métiers au sein du mdèle cnceptuel de dnnées (cntraintes, ntes, OCL). Elabratin d'une stratégie de transfrmatin incrémentale de ces règles en éléments du mdèle lgique de dnnées et/u du mdèle physique en prenant en cmpte le delta de spécificatins entre deux itératins subséquentes. Définitin de l'architecture du cmpsant lgiciel Cntrôleur de dnnées et créatin des autmates de génératin dudit cmpsant. Mts clés (séparés par des virgules) MDA, MDE, MVC, UP, UML, OCL Objet du prjet / brève descriptin Face aux besins de réactivité tujurs plus grande des prcessus de travail des entreprises, la capacité à évluer des lgiciels de gestin devient un facteur critique de leurs systèmes d'infrmatin infrmatisés (SII) et de fait, le dévelppement desdits lgiciels de gestin devient de plus en plus un prcessus itératif relativement permanent. La pressin sur les cûts et la nécessité d'améliratin de la qualité nt amené les mdèles et la mdélisatin au cœur du prcessus de dévelppement de lgiciels de gestin (MDE, MDA, MDD ), à l'image de ce que réalisaient avec succès certains ateliers de génie lgiciel (AGL) du début des années Ntre prjet vise à favriser le dévelppement itératif au sein d'une démarche d'ingénierie piltée par les mdèles; cette ptimisatin prendra la frme de guides méthdlgiques, de règles de frmalisatin et de transfrmatin de mdèles et enfin d'autmates pur la réalisatin des tâches mécanisables que ce sit transfrmatin de mdèles u génératin de cde. La structure de dnnées et leurs règles d'intégrité étant les éléments centraux du SII, nus fcaliserns ntre recherche sur cet aspect-là qui nus ffre un grs ptentiel d améliratin de la qualité et de l évlutivité des lgiciels de gestin. DemandeSubventinPublique.dcx Demande de subventin Page 1/16

2 1. Cntexte du prjet Quel est le prblème à résudre / la prblématique dans laquelle s inscrit le prjet? Le succès de la prductin de lgiciels de gestin est, tut cmme pur d'autres prduits u services, mesuré à la satisfactin du client (maitre d'uvrage et utilisateurs). A curt terme et sus la pressin de critères de rentabilité et d'ptimisatin des prcessus de l'entreprise, cette satisfactin se mesure en termes d'bjectifs atteints, de délais respectés et de cnsmmatin de ressurces (financières et humaines) minimisés. A plus u mins lng terme et face à la nécessité de permettre à l'entreprise d'ajuster ses prcessus pur tenir cmpte des cntinuels changements que l'envirnnement impse, cette satisfactin se mesure sus frme de facilité à faire évluer les lgiciels de gestin, ce que l'n nmme cmmunément agilité. Frt de sn histire de déjà plus de 50 ans, la prductin de lgiciels de gestin peut s'appuyer sur quelques cncepts frts qui snt autant de facilitateurs pur tendre vers cette satisfactin à curt, myen et lng terme: - L'ingénierie, au sens de science de l'ingénieur, et le recurs à la mdélisatin, base d'une cmmunicatin efficace entre acteurs. - La mise en évidence des dnnées de l'entreprise garante de la stabilité de sn système d'infrmatin infrmatisé malgré les perpétuelles évlutins des prcessus de leur cllecte, traitement u diffusin. - Le décupage de systèmes cmpliqués et/u cmplexes en parties pur les cmprendre sit: la mise en œuvre de l'adage "Diviser pur régner" à la base de tute démarche d'analyse. - L'autmatisatin de prductin du cde à partir de mdèles, en vue d'en minimiser les cûts, les délais et les écarts aux attentes, à l'image de ce qui se fait, par exemple dans le bâtiment, sus frme d'éléments préfabriqués. Les cncepts u facilitateurs évqués ci-dessus étaient bien supprtés et pas frcément présentés en tant que tels par certains ateliers de génie lgiciel (AGL) de la fin des années 1990 et du début des années La majrité de ces utils nt étés abandnnés par leurs éditeurs car s'appuyant sur des technlgies prpriétaires et/u cnsidérées cmme désuètes. En l'ccurrence, Oracle, a stppé l'évlutin de sn atelier de génie lgiciel Designer. Nmbre de ns partenaires et cntacts 1 utilisateurs d'agl, cmme Designer, se truvent démunis; la maintenance et le dévelppement de leurs lgiciels ne se fnt plus à partir de la transfrmatin autmatique de mdèles mais en devant écrire le cde manuellement; ce passage de l'autmatisme au cdage manuel se traduit pur eux par une baisse de la qualité (erreurs des dévelppeurs), une augmentatin des délais et des cûts ce qui est une régressin pur tut directeur de système d'infrmatin. Ci-après, nus allns décrire les facilitateurs u cncepts évqués plus haut avec leurs atuts et prblèmes cnstituent la base de la cnstructin de l'bjectif de ntre prjet (Chapitre 2). car ils Les mdèles au cœur du prcessus de cnceptin des lgiciels de gestin La cnjnctin de l'apprche MDE, ingénierie piltée par les mdèles, et de MDA, architecture dirigée par les mdèles qui insistent sur la nécessité de s'appuyer sur un frmalisme uvert pur la transfrmatin de mdèles, devraient permettre aux analystes et cncepteurs de systèmes d'infrmatin infrmatisés d'en déléguer la réalisatin/fabricatin à des prgrammeurs u à des générateurs tut en en cnservant la maitrise. La plupart des prcessus de dévelppement de lgiciels de gestin, à l'image du Prcessus Unifié (UP), se réalisant de manière itérative et incrémentale, il nus semble évident que les mdèles divent eux aussi se cnstruire et se transfrmer de manière itérative et incrémentale. Lrs de la première itératin de réalisatin, la transfrmatin des mdèles ne pse pas de prblème particulier; il s'agit simplement de transfrmer un mdèle en un autre (que ce sit des mdèles plus u mins abstraits allant jusqu'au cde applicatif). Lrs de cette itératin initiale, il s'agit simplement de "lire" un mdèle et de "créer" un nuveau mdèle en y intégrant un certain nmbre d'enrichissements; la seule cntrainte liée à cette transfrmatin est d'appliquer rigureusement les "règles" régissant le passage du mdèle surce au(x) mdèle(s) cible(s). Les transfrmatins de cette première itératin peuvent être plus u mins autmatisées; la partie cmpliquée de la transfrmatin dit puvir être autmatisée, la partie cmplexe nécessite l'interventin d'un analyste, cncepteur u autre prcesseur humain. 1 Centre Electrnique de Gestin de la Ville de Neuchâtel, Université de Genève, TSM Cmpagnie d'assurance, La Chaux-de-Fnds, FORS Lausanne, Haute Ecle Pédaggique BEJUNE, Bienne. DemandeSubventinPublique.dcx Demande de subventin Page 2/16

3 Nus appelns parties cmpliquées de la transfrmatin, celles qui snt régies par un nmbre finies de règles cmme par exemple, la transfrmatin d'un mdèle cnceptuel de dnnées en un mdèle lgique de dnnées, qui peut être relatinnel, au frmat XML, bjet u autre. Nus appelns parties cmplexes de la transfrmatin, celles qui ne sauraient béir à des règles prédéfinies car nécessitant un travail humain de créativité, d'inventivité u encre d'intelligence pur ajuter dans le mdèle cible les enrichissements qui ne sauraient être déduits "mécaniquement" du mdèle surce. A titre d'exemple, nus puvns citer la transfrmatin d'un mdèle de cas d'utilisatin en un mdèle d'activités décrivant ce cas d'utilisatin; l'inverse serait certainement pssible dans une visin de rétr-ingénierie, mais, ceci n'est pas le prps de ce dévelppement. Itératin i-1 i Surce MCD i Delta i + 1 MCD Cible MLD i Transfrmatin i + 1 MLD Dès la deuxième itératin la transfrmatin des mdèles cibles existants se cmplique et/u se cmplexifie. Il s'agit, dès la deuxième itératin, de prendre en cmpte le delta entre le mdèle surce de l'itératin curante et le mdèle cible de l'itératin précédente et de transfrmer le mdèle cible en un nuveau mdèle cible incluant le ditdelta. Certains auteurs parlent de cnslidatin du mdèle cible. A ntre sens, deux difficultés majeures surgissent: - la capacité à déterminer crrectement le delta entre les deux mdèles surces, sachant que le mdèle surce n'est plus utilisable et dit être déduit du mdèle cible qui lui est encre dispnible; - la capacité à transfrmer ce delta sus frme de cnslidatin du mdèle cible. S'agissant de la capacité à déterminer le delta entre les deux mdèles surces, c'est certainement la technique, respectivement les utils utilisés pur réaliser les mdèles, qui vnt amener à une transfrmatin cmpliquée u cmplexe; si les mdèles cmprtent des spécificatins peu frmelles cmme du texte, nus smmes face à un prblème cmplexe nécessitant le recurs à un prcesseur humain. Si les mdèles ne cmprtent que des spécificatins frmelles, nus smmes face à un prblème cmpliqué, vire très cmpliqué, mais régi par un nmbre fini de règles et puvant être réalisée par un autmate. S'agissant de la capacité à transfrmer le delta entre le mdèle surce (i) le mdèle cible (i-1), nus smmes dans la même situatin que pur la transfrmatin initiale; elle est autmatisable, si la transfrmatin béit à un nmbre fini de règles et sinn, la transfrmatin dit être prise en charge par un prcesseur humain. Dans ntre schéma illustratif, MCD et MLD réfèrent aux mdèles cnceptuel et lgique de dnnées. Les dnnées au cœur des lgiciels de gestin L'apprche classique u fnctinnelle des méthdes (Merise, SADT ) de réalisatin de lgiciels de gestin a intrduit la séparatin des dnnées et des traitements en lien avec l'émergence de la prgrammatin structurée et mdulaire (Pascal, Mdula, Ada ). Cette apprche a mis l'emphase sur les dnnées au mtif que celles-ci changent peu en regard des traitements qui eux divent être adaptés à l'évlutin cnstante de l'envirnnement dans lequel se meut l'entreprise. Par exemple, une entreprise de vente par crrespndance enregistre cmme dnnées ses clients, prduits, cmmandes la structure de ces dnnées a prbablement très peu changé au fil du temps mais, durant ce temps, le prcessus de traitement des cmmandes est peut-être passé de la carte pstale au téléphne et ensuite aux téléphnes intelligents u aux tablettes en passant par un site de cmmerce électrnique. L'apprche rientée bjet, dans un premier temps avec les langages de prgrammatin (Smalltalk, C++ ), a cassé cette dichtmie entre dnnées et traitements en intégrant dans un seul bjet attributs (dnnées) et méthdes 2 (traitements). Les bjets snt cnsidérés cmme dtés d'attributs et de cmprtements accessibles par leurs méthdes. Dans un deuxième temps et pur des raisns que nus ne dévelpperns pas ici, UP-Unified Prcess et la plupart des méthdlgies basées sur les langages de prgrammatin rientés bjet nt "réinventé" cette dichtmie en séparant au niveau de l'analyse les dnnées et les traitements; par exemple, UP parle du "Mdèle du dmaine" pur le mdèle de dnnées. Par ailleurs, le recurs aux bases de dnnées relatinnelles blige à "casser" l'encapsulatin attributs et méthdes des bjets pur n'enregistrer que les seuls attributs des bjets sus frme de tables relatinnelles. Enfin, la tendance à recurir à des services (WS-*, REST ) via le Web u autre remet particulièrement au gût du jur la séparatin entre les dnnées et les traitements; de plus, pur les cnsmmateurs de services, l'emphase est clairement mis sur les dnnées, la réalisatin des services ne les intéressent pas. Le cnsmmateur d'un service n'a pas à cnnaître la manière 2 UML utilise le terme d'pératin en lieu et place de méthde DemandeSubventinPublique.dcx Demande de subventin Page 3/16

4 dnt le service est réalisé mais quelles snt les dnnées à lui furnir et celles qu'il furnit en retur (dnnées valides u cas d'erreur). Les cmpsants et les cuches au cœur de l'industrialisatin des lgiciels de gestin L'analyse de systèmes cmpliqués u mathématiquement cmplexes [PAS-1] cnsiste à les diviser en sus-systèmes tujurs plus cmpréhensibles car fcalisés sur une partie u une thématique particulière du système initial. La mise en œuvre de la démarche de mdélisatin au cœur des méthdes de dévelppement de lgiciels de gestin et la séparatin des dnnées et des traitements du système d'infrmatin infrmatisé relèvent de ce besin de diviser pur régner. Mais, en finalité le système d'infrmatin infrmatisé est bel et bien un tut rganisé et fnctinnant; il est et dit être perçu cmme tel par ses utilisateurs. Pur réaliser ce tut, il s'agit alrs d'agréger les différentes parties u pints de vue que nus avns islés lrs de ns différentes démarches de décmpsitin. Tute la thématique des cmpsants relève de cette nécessité de diviser pur régner et ensuite d'agréger ces cmpsants pur ffrir une ttalité plus riche que la smme de chacune des parties. S'agissant de l'industrialisatin du lgiciel de gestin, l'art de décmpser et de recmpser a cmme bjectif premier de cmprendre l'entreprise, sn système d'infrmatin et le besin d'infrmatisatin. La réalisatin de ce seul premier bjectif ne va pas nus aider à réaliser le lgiciel de gestin attendu en ffrant la qualité, les cûts et les délais ptimaux. Décmpser et de recmpser a cmme deuxième bjectif d'rganiser le lgiciel en cuches (parties u sus-systèmes) plus u mins prches des besins de l'entreprise (métier) u à l'inverse plus u mins dépendantes de la technlgie. Les cuches prches de l'entreprise u de sn besin métier relèvent essentiellement du cmplexe dnc du prcesseur humain; à l'inverse les cuches les plus prches de la technlgie relèvent du cmpliqué u du mécaniste; le recurs à ces cuches technlgiques évite de devir réinventer la rue à chaque prblème technlgique. L'autmatisatin au cœur de la qualité des lgiciels de gestin Première remarque imprtante, la qualité n'est pas l'excellence d'un prduit u d'un service mais sn aptitude à satisfaire les besins de l'acheteur u du cnsmmateur. Un prduit de qualité ffre ni plus ni mins que ce qui en est attendu. Actuellement beaucup de travaux, de réflexins u encre de cnseils prônent effectivement le recurs aux mdèles, à la transfrmatin des mdèles, à l'rganisatin en cuches u encre à l'assemblage de cmpsants cmme éléments méthdlgiques de réalisatin de lgiciels de gestin; par cntre, peu de slutins snt ffertes pur autmatiser ce qui purrait l'être de ces différentes activités. Cmme nus l'avns évqué plus haut, tut ce qui a trait à des activités mécanistes devrait être autmatisé car il n'y a aucune valeur ajutée à réaliser cela par un prcesseur humain. De plus, pur ces activités mécanistes, le prcesseur humain, de par sa faible capacité de calcul et sa difficulté à répéter des algrithmes sans erreur, n'est certainement pas le plus apprprié. A l'inverse le recurs à l'autmatisatin par un prgramme infrmatique permet de bénéficier des deux prpriétés essentielles de l'rdinateur, à savir: la rapidité et la fiabilité (dans la répétitin d'algrithmes). Ntre titre "L'autmatisatin au cœur de la qualité des lgiciels de gestin" peut chquer, il nus faut dnc expliciter ntre pint de vue: La qualité étant l'adéquatin d'un prduit u service aux besins de l'acheteur u du cnsmmateur, l'autmatisatin, par le recurs à l'infrmatique, de tutes les tâches u activités relevant de la simple applicatin d'un nmbre finis de règles devient un gage de qualité du dévelppement de lgiciels de gestin. Pur ntre part et s'agissant surtut des cuches technlgiques et des parties relevant de la dimensin statique du système d'infrmatin, la structure et l'intégrité des dnnées, il nus semble que l'industrie du lgiciel ne prfite pas de ce que les technlgies de l'infrmatin purraient apprter dans le supprt des tâches mécanistes et répétitives d'un prjet à l'autre. Il est chquant de cnstater que, par exemple, dans le dmaine du génie mécanique, la fabricatin assistée par rdinateur (FAO) tend à être ttalement autmatisée à partir de plans numérisés alrs que dans le dmaine du dévelppement de lgiciels de gestin, la fabricatin (prgrammatin) relève encre majritairement de tâches humaines alrs même que pur de nmbreuses parties du lgiciel, cette fabricatin relève de prcessus mécanistes. DemandeSubventinPublique.dcx Demande de subventin Page 4/16

5 2. Objectifs Quels snt les bjectifs du prjet (scientifiques, techniques, artistiques)? Objectif général L'bjectif de ntre prjet est d'explrer la faisabilité d'autmatiser les activités mécanistes u relevant de la partie statique du système d'infrmatin (structure de dnnées et règles d'intégrité des dnnées). Naturellement, il ne s'agira pas seulement d'une démarche intellectuelle mais, nus nus effrcerns de furnir des éléments pératinnels de transfrmatin sus frme de prttypes plus u mins finalisés seln la cmplexité mathématique des règles à prendre en cmpte u encre en regard du vlume de travail pur passer d'une démarche de validatin à une démarche de finalisatin. Nus axerns ntre démarche sur les 4 prblématiques présentées dans le chapitre précédent "Cntexte du prjet", à savir: - Transfrmatin de mdèles (Les mdèles au cœur du prcessus de cnceptin de lgiciels de gestin) - Emphase sur les dnnées (Les dnnées au cœur des lgiciels de gestin) - Organisatin en cuches et génératin autmatique de cmpsants (Les cmpsants et les cuches au cœur de l'industrialisatin des lgiciels de gestin) - Améliratin du prcessus de fabricatin de lgiciels de gestin 3 et en crllaire améliratin du lgiciel de gestin luimême 4 (L'autmatisatin au cœur de la qualité des lgiciels) Objectifs détaillés Ntre bjectif général étant ambitieux et les prblèmes évqués très vastes, nus nus prpsns de le décliner sus frme d'bjectifs détaillés plus facilement mesurables en nus appuyant sur le patrn MVC u Mdèle, Vue et Cntrôleur. Derrière le terme de Mdèle du patrn MVC se truve la prblématique des dnnées au cœur des lgiciels de gestin. Tujurs derrière le terme de Mdèle se truve la prblématique de la transfrmatin de mdèles (MDE & MDA); le mdèle du dmaine en UP u mdèle cnceptuel de dnnées 5 en méthde classique dit être transfrmé en un mdèle d'implémentatin, que ce sit sus frme relatinnelle, au frmat XML, bjet u autre. Derrière ces 3 termes du patrn MVC, se cachent 3 cuches traitant chacune de parties spécifiques du lgiciel de gestin. De manière plus détaillée et guidés par le patrn MVC, nus nus fcaliserns, pur l'étude de faisabilité des autmatismes et la réalisatin de prttype, sur: - La transfrmatin de mdèles du dmaine en une structure de dnnées relatinnelle en intégrant la prblématique des dévelppements itératifs nécessitant de faire le delta entre les différentes itératins de mdèles. - La spécificatin des règles d'intégrité des dnnées nn pas dans la cuche Cntrôleur mais en amnt dans la cuche de mdélisatin des dnnées (mdèle du dmaine) ; tutefis, lrs de la transfrmatin des mdèles du dmaine, ces règles sernt autmatiquement générées dans la cuche Cntrôleur. En finalité, ce travail de recherche a cmme bjectifs détaillés: - d'autmatiser la transfrmatin des mdèles du dmaine, la cuche Mdèle du patrn MVC; - d'autmatiser la "fabricatin" de la cuche Cntrôleur s'agissant de l'intégrité des dnnées. L'éventuelle suite de ce prjet serait de s'intéresser à la partie dynamique du système d'infrmatin, c'est-à-dire: - la cuche Vue, interfaces utilisateurs, du patrn MVC; - la partie enchainement de frmulaires/traitements de la cuche Cntrôleur. 3 Nrme ISO 9000 et suivantes 4 Nrme ISO 9126 et autres 5 Pur la suite nus utiliserns unifrmément le terme de mdèle du dmaine bien que prvenant de l'apprche classique le terme de Mdèle Cnceptuel de Dnnées (MCD) au frmalisme Entité-Assciatin (E-A) sit encre très curant. DemandeSubventinPublique.dcx Demande de subventin Page 5/16

6 Cadre d'expérimentatin Cmme nus l'avns déjà évqué, les prblèmes de transfrmatin de mdèle u de génératin de cde à partir de mdèles (MDE) peuvent être relativement cnséquents; ntre but étant d'abutir à un u des prttypes exécutables nus avns chisi un envirnnement de travail et d'exécutin prpices à la réalisatin de ns bjectifs. - Nus avns retenu Visual Paradigm fr UML pur la mdélisatin, la transfrmatin et le dévelppement d'autmates; nus avns retenu cet util car il nus ffre la pssibilité de créer sus frme de plugins les transfrmateurs u autmates que nus désirns réaliser en ciblant la base de dnnées Oracle cmme indiqué ci-après. - Nus avns retenu la base de dnnées relatinnelle Oracle pur l'expérimentatin car nus en avns une bnne cnnaissance et nus purrns nus appuyer sur ses triggers et prcédures stckées pur "fabriquer autmatiquement", sus frme de paquetages PL/SQL, la cuche Cntrôleur de gestin de l'intégrité des dnnées. Dans la mesure du pssible, nus prévirns les mécanismes qui permettraient d'effectuer les transfrmatins u de prduire les autmates en ciblant d'autres bases de dnnées qu'oracle. Représentatin symblique Le diagramme de la page suivante illustre les bjectifs détaillés et le cadre d'expérimentatin retenu. Quelques explicatins de lecture: En bleu, le périmètre cuvert par l'util de mdélisatin Visual Paradigm. Nus y vyins les tris cuches usuelles de spécificatin des dnnées (MCD, MLD et MPD). En jaune, la base de dnnées cible Oracle et l'implémentatin du Cntrôleur de dnnées sus frme de prcédures stckées et triggers. En vert, les éléments de mdélisatin cnceptuelle des dnnées; les éléments de base existent au sein de Visual Paradigm mais nus devrns les spécialiser car nus avns vu que l'implémentatin native n'est pas cmplète et engendre des erreurs lrs de la transfrmatin MCD MLD. En ruge et sus frme d'ellipses: (A) l'autmate de transfrmatin du niveau cnceptuel en niveau lgique et physique, sit: Les entités du MCD en tables du MLD Certaines règles métier du MCD en MPD Les indices i et i-1 représentent le traitement de la transfrmatin incrémentale vers le MLD. (B) l'autmate de transfrmatin des cntraintes ajutées au niveau lgique et qu'il s'agit de transfrmer en MPD. Les indices k et k-1 représentent le traitement de la transfrmatin incrémentale vers le MPD. Pur la partie de génératin du cde SQL à partir des spécificatins des tables du MLD, nus nus appuierns sur l'autmate (C) de Visual Paradigm qui nus semble adapté. En ruge, sus frme de rectangles: Les prcédures et triggers qui snt générés par les 2 autmates (A) et (B) et qui matérialisent le Cntrôleur de dnnées lrs de leur implémentatin au sein de la base de dnnées. Nus menns ntre prjet, en visant une base Oracle mais, nus prévirns dès le départ de mettre en place une architecture lgicielle au sein des autmates (A) et (B) qui nus permettra de générer une cuche Cntrôleur de dnnées pur d'autres SGBD-R cmme SQL Server u Pstgres. DemandeSubventinPublique.dcx Demande de subventin Page 6/16

7 Visual Paradigm MCD (CIM) Entités Assciatins Règles métier - Cntraintes - OCL - i (A) Autmate de transfrmatin / génératin i i i-1 MLD (PIM) Tables Cntraintes k i k (C) Autmate de transfrmatin k k (B) Autmate de transfrmatin / génératin MPD (PSM) SQL-DDL Prcédures stckées (Oracle) Prcédures stckées (SQL Server) Prcédures stckées (Pstgress) k-1 Cntrôleur de dnnées SGBD-R Oracle Tables Prcédures Triggers DemandeSubventinPublique.dcx Demande de subventin Page 7/16

8 3. État de l art 3.1 État de la recherche dans le dmaine des travaux prjetés avec mentin des principales réalisatins / publicatins. MDE L ingénierie dirigée par les mdèles (MDE) est la discipline infrmatique mettant à dispsitin des utils, cncepts et langages pur créer et transfrmer des mdèles. Il s agit d une ingénierie générative, par laquelle tut u partie d une applicatin est générée à partir de mdèles servant de spécificatins. Cette discipline prpse dnc de mécaniser les prcessus que suivent les ingénieurs à la main. Deux ntins snt essentielles : les mdèles et la transfrmatin de mdèles. Pur qu un autmate de transfrmatin u un générateur de cde puisse effectuer les tâches dnt il est respnsable dans le cycle de vie du lgiciel et prduire des artefacts lgiciels finis (vire semi-finis), il est impératif que les mdèles sient d une part sémantiquement très riches et d autre part «exécutables», «prductifs», c est-à-dire qu ils puissent être interprétés par un cmpsant lgiciel pur en extraire tutes les infrmatins nécessaires. L ingénierie piltée par les mdèles est une discipline qui n est de lin pas nuvelle. Les premiers utils de type MDE que furent les AGL u CASE Tls nt marqué l ingénierie des systèmes d infrmatins dès les années Ces utils basés sur une apprche classique furent tus prpriétaires. Or, l avènement de l Objet, d internet, de la philsphie Open Surce ainsi que la cmplexité grandissante des technlgiques actuelles nt snné le glas de ces utils. Ces dernières années, l apprche MDE s est déclinée principalement en 3 variantes que snt MDA de l OMG, le prjet Eclipse Mdeling de la fndatin Eclipse et les Sftware Factries / DSL Tls de Micrsft. Le prjet Eclipse Mdeling étant une implémentatin des spécificatins de l OMG dans l esprit de MDA (sans tutefis respecter strictement les standards), nus ne nus y arrêterns pas dans ce dcument. MDA et l'omg L OMG a adpté et publié en 2001 l apprche MDA Mdel Driven Architecture cmme apprche pur le dévelppement lgiciel en mettant l utilisatin de mdèles au cœur du prcessus. Ce n est ni un standard ni une méthdlgie. MDA est présenté cmme un framewrk architectural, une apprche, une démarche, un état d esprit Les bjectifs de l OMG snt de résudre les prblèmes d interpérabilité, de garantir la prtabilité et la réutilisabilité des systèmes et de leurs cmpsants, en particulier pur dnner suite au nn-succès de CORBA dans cette vie-là. MDA est né de la vlnté de faciliter la réslutin des prblèmes d interpérabilité, de migratin et autre pératin technique impactant le système actuel. MDA précnise dnc la séparatin des aspects métiers et des aspects techniques. Les avantages recherchés snt : La pérennité des savir-faire de l entreprise, dnc de ses mdèles métier. Ces derniers snt peu sujets à évlutin, cntrairement aux mdèles rientés technlgies. La prise en cmpte des platefrmes d exécutin, afin de puvir garantir une meilleure interpérabilité, prtabilité et réutilisatin de cmpsants Les gains de prductivité, par des prcessus de transfrmatins et génératins. MDA prône bien sûr l utilisatin de mdèles cmme base de spécificatin, mais plus cncrètement MDA précnise 3 mdèles : CIM (Cmputer Independant Mdel) : le CIM est un mdèle indépendant de tute infrmatisatin et spécifie les besins, les exigences métiers. PIM (Platfrm Independant Mdel) : Le PIM représente le mdèle métier, d analyse, sus l angle infrmatique, mais indépendant de tute platefrme d exécutin. PSM (Platfrm Specific Mdel) : Le PSM est un mdèle spécifique à une platefrme technlgique. Il est le résultat de la transfrmatin du PIM dans un cntexte technlgique spécifique. Les mdèles snt btenus par enrichissement et transfrmatins successives. Une transfrmatin autmatisée d un CIM en PIM n est pas réalisable, de part la nature même des éléments mdélisés. En effet, elle implique des chix de cnceptin que seul l être humain est capable de faire. La transfrmatin PIM-PSM est l étape-clé de MDA et permet de cnstruire une bnne partie de la spécificatin technique et rientée platefrme d un système. C est cette transfrmatin qui garanti la pérennité des mdèles métiers, puisque le PIM n est pas «pllué» par des détails spécifiques à une platefrme technlgique. Seln [BLA-01], la génératin de cde sur la base d un PSM n est pas cnsidérée cmme une transfrmatin de mdèle, mais cmme une traductin textuelle. L OMG reste flue quant à ce sujet. La transfrmatin entre mdèles dit permettre, MDA y tient, de garantir un lien de traçabilité entre les mdèles. Seln l OMG, ce snt les transfrmatins qui assurent la qualité de cnstructin de l applicatin, en détenant les règles à appliquer sur les éléments, d un mdèle à l autre. Pussé à l extrême, MDA précnise même de mdéliser les transfrmatins elles-mêmes, de part leur caractère stratégique et vital dans cette apprche (vir ci-après les standards autur de MDA). DemandeSubventinPublique.dcx Demande de subventin Page 8/16

9 Standards autur de MDA MDA n est pas un standard de l OMG, mais une apprche qui explite différents de leurs standards. Sans entrer dans des cnsidératins techniques peu apprpriées dans ce dcument, nus nus cntenterns de nmmer les standards majeurs et d en décrire l essentiel. MOF (Meta Object Facility) : MOF est la pièce maitresse de MDA, sn scle architectural. Tut le bénéfice de MDA et sn uverture prviennent de ce standard. MOF est le standard de l OMG de définitin d un langage abstrait, cmmun, pur la spécificatin de méta-mdèle. Les méta-mdèles UML et CWM snt deux méta-mdèles «cmpatibles» MOF. MOF est dnc un méta-méta-mdèle (niveau M3 dans l architecture à 4 niveaux de la mdélisatin 6 ). MOF est imprtant pur MDA pur deux raisns. La première, il est technlgiquement neutre, ce qui fait que les méta-mdèles issus de MOF le snt aussi. Deuxièmement, les prcessus de transfrmatin ne snt réalisables que si les mdèles snt exprimés avec un langage dnt le méta-mdèle est basé sur MOF. Ceci garanti que les mdèles peuvent être stckés dans un référentiel cmpatible MOF, parsés et transfrmés par des utils cmpatibles MOF. UML est le langage de mdélisatin privilégié mais nn impsé par l OMG cmme langage de mdélisatin dans l apprche MDA. OCL, langage d expressins de cntraintes, est un langage textuel permettant d exprimer des cntraintes sur n imprte quel élément UML. XMI (XML Metadata Interchange) est le standard permettant l échange via XML de méta-dnnées prvenant de n imprte quel méta-mdèle basé sur MOF. QVT (Query-View-Transfrm) est un standard très récent de l OMG (2011). Il dit permettre, au travers d un langage, d exprimer des requêtes et transfrmatins de mdèles cmpatibles MOF. Il permet ainsi de mdéliser les règles de transfrmatins de mdèles. Prcessus de transfrmatin de mdèles MDA met au centre de sn apprche la transfrmatin de mdèles. Mais celle-ci n est pas nécessairement autmatisée seln l OMG. Purtant cela semble une évidence dans une visin industrielle et qualitative de l ingénierie ([KLE-01]). Une transfrmatin de mdèles sus-entend l établissement de règles pur rendre cette première pssible. MDA privilégie la technique du mapping pur établir les règles de transfrmatins, avec deux techniques pssibles : Mapping sur le méta-mdèle : On établit des crrespndances entre les éléments des méta-mdèles respectifs, à savir surce et destinatin (p. ex : une entité devient une table). Mapping par marquage des éléments : le mapping sur le méta-mdèle ne permettant pas de spécifier tutes les règles d un prcessus de transfrmatin, il devient nécessaire de puvir enrichir le mdèle surce par l adjnctin d infrmatins sur les éléments même, infrmatins dnt les crrespndances existent dans le mdèle destinatin. Cette technique de mapping est réalisable dans UML grâce à ses mécanismes d extensin que snt les valeurs marquées, les stérétypes et les prfils. Des patterns de cnceptin peuvent naturellement venir s ajuter dans le prcessus de transfrmatin par la même technique. Cnstat de la cmmunauté infrmatique Frce est de cnstater que très peu d utils «MDA cmpliance» existent sur le marché. MDA n émet aucune précnisatin quant à l élabratin de mdèles. Cncernant la transfrmatin de mdèles, l OMG estime actuellement que seulement entre 50% et 70% 7 des transfrmatins PIM-PSM est autmatisée par les utils MDA. La génératin de cde, qui n est pas une finalité pur MDA, est prise en charge par les éditeurs, avec plus u mins de satisfactin. Généralement, les générateurs de cde snt rientés middleware (JEE,.NET, ), ce qui se cmprend étant dnné l rigine de MDA. Quant aux prfils standardisés, il en existe que quelques uns, furnis par l OMG. Un cnstat indéniable est l évlutin très lente des standards autur de MDA. MDA est né en 2001, mais il a fallu attendre pur que les standards majeurs que snt UML, OCL, CWM et MOF sient adaptés pur MDA et tus alignés entre eux (versin 2.0 d UML et MOF par exemple) en termes de spécificatins. Cmme l expliquent Martin Fwler ([I-3]) et Franck Barbier ([BAR-01]), UML suffre de défauts dans sa spécificatin, telle que des cntradictins, des apprximatins et ambigüités sémantiques. UML se veut être vlntairement imprécis pur laisser à ses utilisateurs une marge d interprétatin et de chix de mdélisatin. Rappelns pur terminer qu UML est un langage dit généraliste. La pertinence cnceptuelle de l apprche MDA n est pas à démntrer, mais sn applicatin cncrète n est malheureusement pas à la hauteur de ns espérances. D ailleurs, MDA est apparu en 2006 dans la première phase de la Hype Cycle fr Emerging Technlgies du Gartner Grup (technlgy trigger), avec une prévisin d adptin généralisée de 5 à 10 ans. Dès les années suivantes, il n y est plus jamais apparu. La prévisin de 5 à 10 ans fut à l épque et l est encre maintenant ttalement justifiée, de par l inexistence de slutins lgicielles turnées vers la prductin et la qualité, pur les différentes raisns citées précédemment. 6 seln la pyramide de [BEZ-01] 7 seln [OMG-02] DemandeSubventinPublique.dcx Demande de subventin Page 9/16

10 Sftware Factry, Sftware Factry.NET & DSL Tls Dans sa définitin la plus large et générique, une sftware factry est une usine lgicielle, c est-à-dire une structure rganisatinnelle qui se spécialise dans la prductin de lgiciels infrmatiques u de cmpsants lgiciels cnfrmément aux exigences des utilisateurs finaux, à travers un prcessus d assemblage. Une usine lgicielle applique des techniques de fabricatin et des principes de dévelppement lgiciel pur imiter les avantages de la fabricatin traditinnelle. Plus cncrètement, une usine lgicielle est cmpsée de framewrks, de librairies, d utils. Les Sftware Factry.Net snt une cllectin de framewrks furnis par Micrsft, u d autres éditeurs, et cnçus pur aider le dévelppement d applicatins s appuyant sur le framewrk.net. Micrsft furni ses prpres sftware factry, via la cmmunauté Pattern & Practice. Dans cette cmmunauté, les sftware factry de type mdel-driven ne snt pas légin et ne snt généralement pas des générateurs de cde. Ce snt plutôt des cllectins de cmpsants qu il faut assembler pur cnstruire une applicatin. C est au travers des DSL Tls DSL pur Dmain Specific Language que Micrsft jue un rôle dans le MDE. La philsphe de Micrsft est frmellement différente de celle de l OMG. Micrsft ne vise pas l interpérabilité cmme l OMG, mais le pragmatisme et la prductivité. Seln Micrsft, l ingénierie piltée par les mdèles dit être effectivement réalisable. L applicatin d une ingénierie de type MDE nécessite de réaliser des mdèles qui sient explitables par des utils infrmatiques, ce qui sus-entend qu ils divent être précis, riches et sans ambigüité. Seln Micrsft, le seul myen d atteindre ces «exigences», c est d utiliser un langage spécifique. Micrsft prétend qu il faut créer des utils qui snt spécifiques à ses prpres besins, utilisant des langages spécifiques, chacun dédié à un besin particulier. Plus n est spécifique, plus n est apte à puvir spécifier crrectement (spécificatins précises, riches, sans ambigüité) et dnc plus cmplète et adaptée sera la génératin de cde. Un générateur de cde spécifique sera bien plus perfrmant qu un générateur généraliste. L utilisatin de langages généralistes empêche une spécificatin suffisamment précise et détaillée pur permettre l utilisatin de générateurs de cde. Micrsft furni dans cette ptique une cllectin d utils utiles à la créatin de sn prpre util d ingénierie, dnt les deux clés de vutes snt : DSL Tls : Ce snt des cmpsants faisant partie du SDK de Visual Studi permettant de dévelpper sn prpre langage (DSL : Dmain Specific Language) et de le mettre à dispsitin dans Visual Studi sus frme de package. La créatin d un DSL implique la définitin d une ntatin graphique et bien sûr d une sémantique. T4 : Asscié(s) au DSL, le u les générateurs de cde spécifiques snt créés en s appuyant sur T4, le mteur de template de Micrsft. Un exemple cncret de mise en œuvre de ce principe de DSL est CdeFluent Entities, de la sciété française SftFluent. CdeFluent Entities est un mdel-driven sftware factry, une usine lgicielle piltée par les mdèles s utilisant dans Visual Studi. Ntre démarche s inscrit dans la vlnté d expliter le meilleur de ces deux apprches du MDE. MDA prône l utilisatin de différents mdèles (niveaux d abstractin) et de mécanismes de transfrmatin, le tut en restant uvert ; Micrsft prêche pur sa part pur l utilisatin de langages et générateurs spécifiques, dédiés, persnnalisés, créés sur mesure afin que ces utils répndent pleinement aux besins de prductivité. DemandeSubventinPublique.dcx Demande de subventin Page 10/16

11 3.2 Méthdes Le prjet se situe dans le dmaine de l'innvatin; l'innvatin recherchée n'aura pas trait à la créatin de nuveaux cncepts u prduits mais plutôt à la mise en œuvre, au sein de prduits du marché, de cncepts cnnus et épruvés mais suvent essentiellement thériques. Nus faciliterns cette mise en œuvre en prpsant une démarche et des autmates qui vnt favriser la prductivité, l'agilité u encre la visibilité du prcessus de dévelppement. La démarche que nus imaginns impliquera une certaine rigueur dans les phases de mdélisatin; cette rigueur fait suvent défaut dans les équipes de dévelppement dès qu'il s'agit de prduire rapidement un résultat tangible. Nus cmpenserns cette rigueur, cntraignante dans un premier temps, en ffrant des autmates pur réaliser les tâches mécanistes relevant de l'applicatin rigureuse de la démarche prjetée. Mais cncrètement, quelle est la démarche imaginée et les autmates qui faciliternt sa mise en œuvre? Nus allns tenter d'y répndre en décrivant chrnlgiquement les éléments clés de la démarche et chacun des autmates. - Définitin de règles rigureuses d'écriture des spécificatins métier au niveau du mdèle du dmaine; ces règles rigureuses devrnt permettre de transfrmer autmatiquement le mdèle du dmaine (PIM) en un mdèle lgique rienté bases de dnnées relatinnelles (PSM). Nus nus baserns sur le langage UML et la mdélisatin des classes et assciatins pur pser les bases (entités, attributs, assciatins ) de ntre mdèle du dmaine. Nus élabrerns des règles d'écriture des spécificatins qui devraient prendre le meilleur et le plus pertinent de la mdélisatin des classes d'uml, des précnisatin d'up pur le mdèle du dmaine et de tut le savir accumulé au travers de mdèles cnceptuel de dnnées (MCD) au frmalisme Entité-Assciatin (EA) depuis l'émergence de méthdes telles que MERISE, SADT. Pur ce faire, nus nus appuierns sur les règles déjà prpsées dans le curs de mdélisatin des dnnées de P.-A. Sunier cité dans les recherches effectuées (chapitre 3.2). Nus nus inspirerns des nmbreux travaux réalisés de part et d'autre depuis l'émergence du frmalisme Entité-Assciatin des apprches classiques pur recenser et mettre en œuvre les cntraintes inter-assciatins qui participent à l'intégrité et à la chérence des dnnées. Pur ce faire, nus nus appuierns sur l'ébauche esquissée lrs de la thèse de Bachelr de J. Sester citée dans les recherches effectuées (chapitre 3.2) Nus nus baserns sur le langage de cntraintes OCL lrsque nus ne purrns pas déclarer des cntraintes à l'aide des mécanismes prédéfinis d'uml que snt les prpriétés d'attributs, les multiplicités, les cntraintes u encre les dépendances. - Définitin de règles d'enrichissement technique du mdèle du dmaine destinées à garantir sa transfrmatin incrémentale en un mdèle lgique rienté base(s) de dnnées relatinnelles. Nus utiliserns les mécanismes d'extensin d'uml, à savir, les stérétypes et les valeurs marquées, pur pilter la transfrmatin et garantir de prduire le seul delta utile et nécessaire à faire passer d'une versin i à une versin i+1 un mdèle lgique de dnnées à partir d'un mdèle cnceptuel de versin i+1. Naturellement, nus ne devrns pas perdre l'enrichissement qui aurait été réalisé; il faut savir qu'entre la versin i du mdèle lgique et la génératin du mdèle i+1, nus autrisns le cncepteur à enrichir le mdèle lgique s'agissant de spécificatins qui lui snt prpres et qui ne snt pas réalisables au niveau cnceptuel u qui n'nt pas lieu d'être. Pur ce faire, nus nus appuierns sur l'analyse réalisée lrs de la thèse de Bachelr de S. Berberat citée dans les recherches effectuées (chapitre 3.2) - Réalisatin d'un prttype pératinnel de l'autmate de transfrmatin du mdèle du dmaine en un mdèle lgique rienté base(s) de dnnées relatinnelles. Nus réaliserns cet autmate sus frme d'un plugin intégré à Visual Paradigm; cmme déjà indiqué cidessus, cet autmate transfrmera les règles métiers du mdèle cnceptuel (PIM) en spécificatins et cntraintes spécifiques du mdèle lgique rienté bases de dnnées relatinnelles (PSM). Ces spécificatins et cntraintes sernt prduites sus frme de cntraintes de tables, cntraintes de clnnes (prpres au langage SQL) mais aussi et surtut sus frme de triggers, prcédures, paquetages pur tutes les règles métier u d'intégrité des dnnées qui ne sauraient être spécifiées directement à l'aide du langage SQL. Cmme nus le mentinnns dans la rubrique "Cadre d'expérimentatin" des bjectifs chapitre (2), nus prduirns le cde des triggers, prcédures pur une base Oracle tut en prévyant de puvir étendre la prductin de cde à d'autres bases de dnnées qui supprtent triggers et prcédures stckées. Pur ce faire, nus nus appuierns sur les cncepts du prttype expérimental réalisé de P.-A. Sunier et les thèses de Bachelr de MM. S. Berberat et J. Sester (chapitre 3.2) - Génératin autmatique de la cuche Cntrôleur dans la visin MVC s'agissant de l'aspect statique du lgiciel de DemandeSubventinPublique.dcx Demande de subventin Page 11/16

12 gestin à savir, la gestin de leur intégrité 8. Dans la perspective de ntre prjet, la cuche Cntrôleur des dnnées est interne au système de gestin de base de dnnées relatinnelle (SGBD-R). Nus truverns au sein de ce SGBD-R la structure de dnnées sus frme de tables et de cntraintes réalisées à l'aide de SQL et nus y adjindrns, sus frme de trigger et de prcédures stckées, la matérialisatin des règles métiers exprimées dans le mdèle cnceptuel et qui ne snt pas réalisables sus frme de cntraintes SQL. Cette manière de faire, la cuche Cntrôleur des dnnées au sein du SGBD-R, amène certainement deux améliratins dans le prcessus de dévelppement de lgiciel de gestin. L'appel aux méthdes susceptibles de garantir l'intégrité des dnnées ne sernt plus de la respnsabilité du dévelppeur au travers de la cuche Cntrôleur avec tus les risques d'erreur u d'ublis qui peuvent péjrer la fiabilité du lgiciel dévelppé. Les cuches Mdèle et Cntrôleur des dnnées étant situé au sein du même nœud d'exécutin (nœud au sens du mdèle de dépliement d'uml), celles-ci vnt gagner en indépendance (faible cuplage) et en chésin interne qui snt les deux piliers d'une rganisatin en cuches réussie 9. Par cntre cette manière de faire amène une dépendance de la cuche Cntrôleur des dnnées au chix du prduit SGBD-R du nœud d'exécutin en charge de la persistance des dnnées; c'est pur cette raisn que même si nus faisns ntre démnstratin pur le SGBD-R Oracle nus nus effrcerns de préparer la base de cet autmate pur puvir déplyer la cuche Cntrôleur des dnnées dans tut prduit dispsant de triggers et prcédures stckées. Nus prduirns autmatiquement la cuche Cntrôleur des dnnées, pur le SGBD-R d'oracle, sus frme d'un plugin intégré à Visual Paradigm fr UML. Pur réaliser cet autmate, nus nus appuierns sur l'article "Les APIs de tables pur garantir l'intégrité des dnnées" de P.-A. Sunier (chapitre 3.2) qui décrit le mécanisme de mise en place de règles métier au sein du SGBD-R Oracle par l'atelier de génie lgiciel Designer du même cnstructeur Oracle; nus nus appuierns également sur la thèse de Bachelr de S. Veya qui a explré la génératin de ce mécanisme d'apis de tables avec Visual Paradigm fr UML (chapitre 3.2). 8 Pur la suite, nus utiliserns le terme Cntrôleur de dnnées pur la partie du Cntrôleur du MVC traitant de l'intégrité des dnnées. 9 Les deux principes de l''rganisatin en cuche à savir le faible cuplage, entre cuches, et la frte chésin interne, de chaque cuche. DemandeSubventinPublique.dcx Demande de subventin Page 12/16

13 4. Planificatin du prjet 6.1 Quelles snt les activités envisagées? Ce prjet cmprenant un certain nmbre de risques et d'incnnues, nus avns chisi de l'rganiser en itératins successives susceptibles de nus permettre de réduire les risques et de lever les incnnues au plus tôt et ensuite, d'ajuster les bjectifs détaillés en curs de réalisatin. Dnc, la plupart des wrkpackages ci-dessus, WP, snt un mélange de disciplines rganisées en phases, dans la visin UP, tutefis certains WP snt clairement des disciplines/activité qui se dérulent au sein d'une seule phase qui leur est prpre u au sein de plusieurs phases. WP 0 Administratin et traçabilité du prjet WP 1 Mise en place des bases d'utilisatin de Visual Paradigm fr UML et d'écriture des plugins Définir les mdalités d'utilisatin du référentiel de Visual Paradigm fr UML et sn rganisatin Définir les bases de prgrammatin pur réaliser en Java les plugins Chix de patrns / style de prgrammatin Traitement et traçabilité des erreurs Règles de nmmages WP 2 Explratin des pistes à suivre pur réaliser l'autmate de transfrmatin incrémentale d'un mdèle cnceptuel de dnnées en un mdèle lgique Définir et rédiger les mdalités d'écriture des spécificatins métier élémentaires au niveau du mdèle cnceptuel Implémenter les mécanismes de traçabilité des transfrmatins afin de réaliser à chaque itératin le seul delta utile et nécessaire entre l'itératin i et l'itératin i+1 Réaliser la première versin de l'autmate que nus nmmns MCDTMLD WP 3 Explratin des pistes à suivre pur réaliser les cntraintes inter-assciatins du mdèle cnceptuel de dnnées Définir et rédiger les mdalités d'écriture des cntraintes inter-assciatins au niveau du mdèle cnceptuel Implémenter dans l'autmate MCDTMLD la transfrmatin de cntraintes basiques réalisables sus frme de cntraintes et de dépendances UML WP 4 Explratin des mécanismes pssibles de transfrmatin des cntraintes spécifiées en OCL Rechercher un parseur apprprié u le dévelpper Rechercher un interpréteur apprprié u l'écrire Implémenter dans l'autmate MCDTMLD la transfrmatin de cntraintes OCL basiques en triggers et prcédures stckées en ne visant que le SGBD-R Oracle. WP 5 Explratin des pistes à suivre pur mettre en place la cuche Cntrôleur de dnnées au sein du SGBD-R Définir des mdalités de prise en charges des triggers et prcédures stckées prduites par l'autmate MCDTMLD Définir les mdalités de spécificatins de cntraintes de dnnées qui snt prpres au mdèle lgique Réaliser la première versin de l'autmate que nus nmmns DataCntrler WP 6 Améliratin des fnctinnalités de l'autmate MCDTMLD Etendre le panel initial des spécificatins des règles métier au niveau du mdèle cnceptuel Prendre en charge (analyser et prgrammer) le nuveau panel de spécificatins de règles métier Etendre le panel initial de spécificatins de cntraintes inter-assciatins Prendre en charge (analyser et prgrammer) le nuveau panel de spécificatins de cntraintes inter-assciatins Prendre en charge (analyser et prgrammer) des spécificatins destinées au mdèle lgique respectivement à la cuche Cntrôleur cmme la génératin d'infrmatins d'audit u le mécanisme de jurnalisatin. WP 7 Dénrmalisatin des dnnées au sein de la cuche Mdele par l'autmate DataCntrler Définir les règles de dénrmalisatin que va prendre en charge l'autmate DataCntrler Prendre en charge (analyser et prgrammer) le mécanisme de dénrmalisatin. WP 8 Extensin du supprt du langage OCL par l'autmate MCDTMLD Etendre le panel initial des éléments du langage OCL supprté Prendre en charge (analyser et prgrammer) le nuveau panel d'éléments du langage OCL. DemandeSubventinPublique.dcx Demande de subventin Page 13/16

14 WP 9 Applicatin des cncepts et mise en œuvre des autmates au sein d'un prjet réel Mdélisatin des règles métier sus frme de cntraintes UML, de dépendances UML et/u de cntraintes OCL Transfrmatin autmatique des règles métiers en bjets lgiques u physique de la structure statique Génératin autmatique du cntrôleur de dnnées au sein du SGBD à partir des spécificatins lgiques u physiques de l'étape précédente WP 10 Finalisatin du prjet Cnslidatin et finalisatin des dcuments cnstitutifs du site internet présentant l'ensemble des travaux réalisés Rédactin du rapprt final. DemandeSubventinPublique.dcx Demande de subventin Page 14/16

15 5. Quels snt les résultats attendus et/u les délivrables du prjet? Un site internet présentant l ensemble des travaux réalisés ; il cntiendra en particulier: - Un dcument expliquant les avantages à autmatiser le dévelppement de lgiciels de gestin en appliquant les principes d'ingénierie guidée par les mdèles (MDE). - Un dcument présentant ns chix de mise en œuvre de Visual Paradigm fr UML et de réalisatin de plugins. - Un guide présentant les mdalités d'élabratin des spécificatins du mdèle du dmaine (UP) u du mdèle cnceptuel de dnnées (visin des méthdes classiques); ce guide expliquera cmment utiliser la puissance et la suplesse du langage UML pur mettre en œuvre des cntraintes métiers au niveau des dnnées. Nus y expliquerns l'utilisatin des relatins de cntraintes et de dépendances ainsi que l'utilisatin du langage OCL pur spécifier frmellement, idéalement, tutes les cntraintes de dnnées nécessaire à garantir l'ensemble des règles métier supprtées par le lgiciel. - Un dcument expliquant les règles applicables pur transfrmer un mdèle du dmaine en un mdèle relatinnel rienté SGBD-R et plus particulièrement Oracle pur ce travail de recherche. - Un dcument expliquant l'installatin, le paramétrage et le fnctinnement de l'autmate MCDTMLD de transfrmatin d'un mdèle du dmaine en un mdèle relatinnel pur le SGBD-R Oracle; une attentin particulière sera apprtée à la rédactin des éléments relatifs au mécanisme de cnslidatin du mdèle relatinnel à partir de delta existant entre les mdèles du dmaine de deux itératins successives. - Une fnctinnalité de téléchargement du prttype de l'autmate MCDTMLD (un plugin pur Visual Paradigm fr UML). - Un dcument expliquant le cncept de Cntrôleur de dnnées dans la perspective du patrn MVC et les chix de mise en œuvre que nus avns retenus. - Un guide présentant les spécificatins frmelles réalisables au sein du mdèle lgique relatinnel de dnnées et qui snt transfrmées en cde exécutables au sein du SGBD-R Oracle par l'autmate DataCntrler. - Une fnctinnalité de téléchargement du prttype de l'autmate DataCntrler (un plugin pur Visual Paradigm fr UML). - Une synthèse des résultats btenus et des améliratins envisagées u envisageables. DemandeSubventinPublique.dcx Demande de subventin Page 15/16

16 6. Bibligraphie et références (maximum 15) [BLA-01] MDA en actin, Xavier Blanc, Eyrlles, 2005 [KLE-01] MDA Explained, Annelke Kleppe & Js Warmer & Wim Bast, Addisn-Wesley, 2003 [BAR-01] UML2 et MDE, Franck Barbier, Eyrlles, 2005 [BEZ-01] Les nuveaux défis des systèmes cmplexes et la répnse MDA de l OMG, Jean Bézivin, 2002, [OMG-01] Technical Guide t Mdel Driven Architecture : The MDA Guide v1.0.1, 01 [OMG-02] Mdel Driven Architecture FAQ, OMG, [FC-01] Ingénierie lgicielle, AGL et MDA, thèse de Bachelr 2012 de F. Camus, He-Arc [I-1] [I-2] [I-3] MSDN : MDA vs Sftware Factry, MSDN : DSL and Sftware Factry, Hw standard is Standard UML?, [PAS-1] Le système d'infrmatin de l'entreprise est-il cmplexe, cmpliqué u les deux?, P.-A. Sunier, 2011, DemandeSubventinPublique.dcx Demande de subventin Page 16/16