National audienceNous présentons nos travaux sur les composants de modèle et leur opérateur associé "apply" qui permet la conception de systèmes par assemblage de composants de modèles (rangés dans des bibliothèques). Nous illustrons ces travaux à l'aide d'un outil démonstrateur "CocoaModeler". Cet atelier UML 2 étendu aux composants de modèles supporte des chaînes de production flexibles selon différentes stratégies de ciblage et différentes plates-formes technologiques

Caron, Olivier

Carré, Bernard

Flissi, Areski

Muller, Alexis

Vanwormhoudt, Gilles

HAL - Lille 3

Conception de syste`mes par applications de mode`lesparame´tre´sOlivier Caron, Bernard Carre´, Areski Flissi, Alexis Muller, GillesVanwormhoudtTo cite this version:Olivier Caron, Bernard Carre´, Areski Flissi, Alexis Muller, Gilles Vanwormhoudt. Conceptionde syste`mes par applications de mode`les parame´tre´s. Journe´es nationales du GDR CNRSGPL (Ge´nie de la Programmation et du Logiciel), Jan 2009, Toulouse, France. 2009. <hal-00714122v2>HAL Id: hal-00714122https://hal.archives-ouvertes.fr/hal-00714122v2Submitted on 15 Jun 2016HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.L’archive ouverte pluridisciplinaire HAL, estdestine´e au de´poˆt et a` la diffusion de documentsscientifiques de niveau recherche, publie´s ou non,e´manant des e´tablissements d’enseignement et derecherche franc¸ais ou e´trangers, des laboratoirespublics ou prive´s.Conception de systèmes par applications de modèles paramétrésOlivier Caron1, Bernard Carré1, Areski Flissi1, Alexis Muller1, and Gilles Vanwormhoudt1,21 Laboratoire d’Informatique Fondamentale de Lille2 Telecom Lille IRésumé Nous présentons nos travaux sur les composants de modèle et leur opérateur associé "apply"qui permet la conception de systèmes par assemblage de composants de modèles (rangés dans desbibliothèques). Nous illustrons ces travaux à l’aide d’un outil démonstrateur "CocoaModeler". Cetatelier UML 2 étendu aux composants de modèles supporte des chaînes de production flexibles selondifférentes stratégies de ciblage et différentes plates-formes technologiques.1 Les composants de modèles et leur assemblageNotre approche vise la spécification de composants métiers réutilisables et composables dans descontextes (domaines) applicatifs différents. Nous avons défini la notion de composant de modèle paramétrépar un "modèle requis" et fournissant un modèle enrichi [1]. On dépasse ainsi la notion de contrat d’as-semblage de composants souvent réduite à une interface de services unitaires. La conception d’un systèmeGestionnaireStockRessource0..*identifiantrefdansBaseRechercheComptageElementCompteur0..*valeur() : floatde<Compteur -> Client, Element -> Allocation, valeur -> cout, de -> qui> AllocationProduitClientcodeid<Client -> Client, Produit -> Vehicule, id -> nom, code -> immatriculation> LocalisationRessource0..*nomadresseclefdatesitue<Localisation -> Agence, Ressource -> Client, nom -> nom, adresse -> adresse, clef-> nom, date -> anniversaire, situe -> cli> RechercheLocalisationRessource0..*nomadresseclefdatesitueStock Ressource0..*identifiantadresserefdatedans<Stock -> Agence, Ressource -> Vehicule, identifiant -> nom, adresse -> adresse, ref -> immatriculation, date -> date, dans -> av> <Localisation -> Stock, Ressource -> Ressource, nom -> identifiant, clef-> ref, situe -> dans> FIG. 1. Construction d’un système par assemblage logique de composants de modèlesrevient alors à assembler de tels composants par les modèles (voir exemple d’un assemblage de la figure1). Nous proposons pour cela un opérateur d’application de modèles paramétrés (opérateur dénommé "ap-ply"). Cet opérateur permet de relier le modèle requis à un modèle conforme (sous-modèle de la cible). Laconformité de modèles est vérifiée par un jeu de contraintes [1]. La cible est soit un modèle du système, soitun composant de modèle. On obtient ainsi une démarche hiérarchique et homogène permettant de spécifierdes assemblages complexes. Des propriétés d’ordre permettent de garantir la cohérence des alternatives decomposition. Des règles et contraintes au niveau des modèles permettent de faire des vérifications au plustôt sur la cohérence des systèmes ainsi construits [2].2 Chaîne de production flexibleLa figure 2 illustre différentes chaînes de production d’un système à partir des modèles (niveau 1) jus-qu’à une plate-forme d’exécution (niveau 4) [3]. Le premier niveau permet d’exprimer des assemblages demodèles paramétrés. Ces modèles paramétrés sont stockés dans des bibliothèques de modèles afin de faci-liter leur réutilisation. A partir d’un modèle d’assemblage (niveau 1), il est possible d’obtenir un modèledu système résultant selon différentes représentations (fusionnée ou éclatée en vues) . A un niveau archi-BaseFonction1 Fonction2SIAssemblage bibliothèquede modèles12FusionTraces/ComposantsvuesCORBAEJBJavaPlates-formesVuesUML versJavaPatronde vuesPatron X AOPAspectJStratégiesdeciblageModèlesrésultatsFractal. . .. . .34FIG. 2. Chaînes de productiontectural (niveau 3), nous proposons différentes stratégies de mise en oeuvre, sous la forme de patrons deconception, permettant d’exploiter les capacités de modularisation et d’adaptation des assemblages [4,5].Des projections ont été expérimentées sur différentes plates-formes (EJB, CORBA, FRACTAL,. . .) [4,1,6].3 L’outil démonstrateur : CocoaModelerL’approche est formulée par une extension du méta-modèle UML2 et un ensemble de contraintes [1,7].Elle est mise en œuvre dans l’atelier CocoaModeler3 en utilisant les plugins Eclipse EMF et EMF-UML 2.Les fonctionnalités de cet atelier sont :– la spécification de composants de modèles via des templates UML 2, la vérification structurelle deces composants, le chargement et la sauvegarde dans des bibliothèques de modèles– la conception d’un système par assemblage de composants de modèles– L’opérationalisation de l’opérateur apply (mode fusion)– La génération de code d’un assemblage selon la stratégie de ciblage (fusionné, éclaté en vues) et laplate-formeRéférences1. Muller, A. : Construction de systèmes par application de modèles. PhD thesis, Université de Lille (2006)2. Muller, A., Caron, O., Carré, B., Vanwormhoudt, G. : On Some Properties of Parameterized Model Applications.In : Proc. of ECMDA’05 :European Conference on Model Driven Architecture. Number 3748 in LNCS (2005)3. Muller, A., Caron, O., Carré, B., Vanwormhoudt, G., Bouzitouna, S. : Ingénierie multi-modèles : Projection flexibled’assemblages de modèles. In : Conf. francophone Langages et Modèles à Objets (LMO’07), Toulouse (mars 2007)4. Caron, O., Carré, B., Muller, A., Vanwormhoudt, G. : A Framework for Supporting Views in Component OrientedInformation Systems. In : International Conference on Object-Oriented Information Systems. Volume 2817 ofLecture Notes in Computer Sciences., Geneva - Switzerland, Springer Verlag (September 2003) 164–1785. Caron, O., Carré, B., Muller, A., Vanwormhoudt, G. : Mise en oeuvre d’aspects fonctionnels réutilisables paradaptation. Numéro spécial de la revue l’Objet : Programmation par aspects 11(3) (2005)6. Barais, O., Muller, A., Pessemier, N. : Vers une séparation entités/fonctions au sein d’une architecture logicielle àbase de composants. Numéro spécial L’Objet : Ingénierie des composants et systèmes d’information 11(4) (2005)7. Caron, O., Carré, B., Muller, A., Vanwormhoudt, G. : Formulation of UML 2 Template Binding in OCL. In : 7thInternational Conference on UML (UML 2004). Number 3273 in LNCS, Lisbon - Portugal (October 2004)3 http ://www.lifl.fr/GOAL/cocoa/pmwiki.php ?n=Main.Outils

Conception de systèmes par applications de modèles paramétrés

INRIA a CCSD electronic archive server

HAL Id: hal-00714122https://hal.archives-ouvertes.fr/hal-00714122v2Submitted on 15 Jun 2016HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.Conception de systèmes par applications de modèlesparamétrésOlivier Caron, Bernard Carré, Areski Flissi, Alexis Muller, GillesVanwormhoudtTo cite this version:Olivier Caron, Bernard Carré, Areski Flissi, Alexis Muller, Gilles Vanwormhoudt. Conception desystèmes par applications de modèles paramétrés. Journées nationales du GDR CNRS GPL (Géniede la Programmation et du Logiciel), Jan 2009, Toulouse, France. ￿hal-00714122v2￿Conception de systèmes par applications de modèles paramétrésOlivier Caron1, Bernard Carré1, Areski Flissi1, Alexis Muller1, and Gilles Vanwormhoudt1,21 Laboratoire d’Informatique Fondamentale de Lille2 Telecom Lille IRésumé Nous présentons nos travaux sur les composants de modèle et leur opérateur associé "apply"qui permet la conception de systèmes par assemblage de composants de modèles (rangés dans desbibliothèques). Nous illustrons ces travaux à l’aide d’un outil démonstrateur "CocoaModeler". Cetatelier UML 2 étendu aux composants de modèles supporte des chaînes de production flexibles selondifférentes stratégies de ciblage et différentes plates-formes technologiques.1 Les composants de modèles et leur assemblageNotre approche vise la spécification de composants métiers réutilisables et composables dans descontextes (domaines) applicatifs différents. Nous avons défini la notion de composant de modèle paramétrépar un "modèle requis" et fournissant un modèle enrichi [1]. On dépasse ainsi la notion de contrat d’as-semblage de composants souvent réduite à une interface de services unitaires. La conception d’un systèmeGestionnaireStockRessource0..*identifiantrefdansBaseRechercheComptageElementCompteur0..*valeur() : floatde<Compteur -> Client, Element -> Allocation, valeur -> cout, de -> qui> AllocationProduitClientcodeid<Client -> Client, Produit -> Vehicule, id -> nom, code -> immatriculation> LocalisationRessource0..*nomadresseclefdatesitue<Localisation -> Agence, Ressource -> Client, nom -> nom, adresse -> adresse, clef-> nom, date -> anniversaire, situe -> cli> RechercheLocalisationRessource0..*nomadresseclefdatesitueStock Ressource0..*identifiantadresserefdatedans<Stock -> Agence, Ressource -> Vehicule, identifiant -> nom, adresse -> adresse, ref -> immatriculation, date -> date, dans -> av> <Localisation -> Stock, Ressource -> Ressource, nom -> identifiant, clef-> ref, situe -> dans> FIG. 1. Construction d’un système par assemblage logique de composants de modèlesrevient alors à assembler de tels composants par les modèles (voir exemple d’un assemblage de la figure1). Nous proposons pour cela un opérateur d’application de modèles paramétrés (opérateur dénommé "ap-ply"). Cet opérateur permet de relier le modèle requis à un modèle conforme (sous-modèle de la cible). Laconformité de modèles est vérifiée par un jeu de contraintes [1]. La cible est soit un modèle du système, soitun composant de modèle. On obtient ainsi une démarche hiérarchique et homogène permettant de spécifierdes assemblages complexes. Des propriétés d’ordre permettent de garantir la cohérence des alternatives decomposition. Des règles et contraintes au niveau des modèles permettent de faire des vérifications au plustôt sur la cohérence des systèmes ainsi construits [2].2 Chaîne de production flexibleLa figure 2 illustre différentes chaînes de production d’un système à partir des modèles (niveau 1) jus-qu’à une plate-forme d’exécution (niveau 4) [3]. Le premier niveau permet d’exprimer des assemblages demodèles paramétrés. Ces modèles paramétrés sont stockés dans des bibliothèques de modèles afin de faci-liter leur réutilisation. A partir d’un modèle d’assemblage (niveau 1), il est possible d’obtenir un modèledu système résultant selon différentes représentations (fusionnée ou éclatée en vues) . A un niveau archi-BaseFonction1 Fonction2SIAssemblage bibliothèquede modèles12FusionTraces/ComposantsvuesCORBAEJBJavaPlates-formesVuesUML versJavaPatronde vuesPatron X AOPAspectJStratégiesdeciblageModèlesrésultatsFractal. . .. . .34FIG. 2. Chaînes de productiontectural (niveau 3), nous proposons différentes stratégies de mise en oeuvre, sous la forme de patrons deconception, permettant d’exploiter les capacités de modularisation et d’adaptation des assemblages [4,5].Des projections ont été expérimentées sur différentes plates-formes (EJB, CORBA, FRACTAL,. . .) [4,1,6].3 L’outil démonstrateur : CocoaModelerL’approche est formulée par une extension du méta-modèle UML2 et un ensemble de contraintes [1,7].Elle est mise en œuvre dans l’atelier CocoaModeler3 en utilisant les plugins Eclipse EMF et EMF-UML 2.Les fonctionnalités de cet atelier sont :– la spécification de composants de modèles via des templates UML 2, la vérification structurelle deces composants, le chargement et la sauvegarde dans des bibliothèques de modèles– la conception d’un système par assemblage de composants de modèles– L’opérationalisation de l’opérateur apply (mode fusion)– La génération de code d’un assemblage selon la stratégie de ciblage (fusionné, éclaté en vues) et laplate-formeRéférences1. Muller, A. : Construction de systèmes par application de modèles. PhD thesis, Université de Lille (2006)2. Muller, A., Caron, O., Carré, B., Vanwormhoudt, G. : On Some Properties of Parameterized Model Applications.In : Proc. of ECMDA’05 :European Conference on Model Driven Architecture. Number 3748 in LNCS (2005)3. Muller, A., Caron, O., Carré, B., Vanwormhoudt, G., Bouzitouna, S. : Ingénierie multi-modèles : Projection flexibled’assemblages de modèles. In : Conf. francophone Langages et Modèles à Objets (LMO’07), Toulouse (mars 2007)4. Caron, O., Carré, B., Muller, A., Vanwormhoudt, G. : A Framework for Supporting Views in Component OrientedInformation Systems. In : International Conference on Object-Oriented Information Systems. Volume 2817 ofLecture Notes in Computer Sciences., Geneva - Switzerland, Springer Verlag (September 2003) 164–1785. Caron, O., Carré, B., Muller, A., Vanwormhoudt, G. : Mise en oeuvre d’aspects fonctionnels réutilisables paradaptation. Numéro spécial de la revue l’Objet : Programmation par aspects 11(3) (2005)6. Barais, O., Muller, A., Pessemier, N. : Vers une séparation entités/fonctions au sein d’une architecture logicielle àbase de composants. Numéro spécial L’Objet : Ingénierie des composants et systèmes d’information 11(4) (2005)7. Caron, O., Carré, B., Muller, A., Vanwormhoudt, G. : Formulation of UML 2 Template Binding in OCL. In : 7thInternational Conference on UML (UML 2004). Number 3273 in LNCS, Lisbon - Portugal (October 2004)3 http ://www.lifl.fr/GOAL/cocoa/pmwiki.php ?n=Main.Outils

https://hal.archives-ouvertes.fr/hal-00714122/document

Conception de systèmes par applications de modèles paramétrés

Abstract

Similar works

Full text

Available Versions

HAL - Lille 3

INRIA a CCSD electronic archive server