Construction de systèmes par application de modèles paramétrés

Software engineering aims at being rationalized always more and tends to reach levels of productivity and reuse that come near to other fields such as mechanics or electronics. Our approach aims to specifying business components reusable in different contexts. Our idea is to introduce the notion of 'model components' parametrized by a 'required model' and that produce an 'augmented model'. Then the modeling phase can be seen as the assembly of such components by connecting provided models to required ones. Note that component ports (specified by a model) can be more sophisticated than simple interfaces of objects or software components. To support such processes, we introduce an operator (apply) to express the application of parametrized models. This operator allows to specify how to obtain a model from an existing one by the application and composition of generic ones. Alternative composition sequences of parametrized models can be elaborated to build the same system model. We formalize our approach by extending the UML2 meta-model. We propose some design patterns to preserve structuration and genericity down to exploitation phase. These patterns have been experimented in different technological platforms.L'ingénierie logicielle vise à se rationaliser toujours plus et commence à atteindre des niveaux de productivité proches d'autres domaines, mécanique ou électronique par exemple. Notre approche vise la spécification de composants métiers réutilisables et composables dans des contextes (domaines) applicatifs différents. Nous proposons d'en faire des composants de modèles génériques paramétrés eux-mêmes par des ”modèles requis” et fournissant un modèle enrichi. On dépasse ainsi la notion de contrat d'assemblage de composants souvent réduite à une interface de services unitaires. La conception d'un système revient alors à assembler de tels composants par les modèles. Nous proposons pour cela un opérateur d'application de modèles paramétrés. Celui-ci permet de spécifier des assemblages à partir d'un ensemble de composants de modèles. Nous étudions des propriétés d'ordre permettant de garantir la cohérence des alternatives de composition. Ceci conduit à des règles et contraintes au niveau des modèles, afin d'assurer la cohérence de systèmes ainsi construits. Nous formulons une méta-modélisation de l'approche par extension du méta-modèle UML2 et un ensemble de contraintes. Nous proposons également différentes stratégies de mise en œuvre, sous la forme de patron de conception, permettant de préserver, jusqu'à l'exploitation, les qualités de structuration et de généricité obtenues au niveau modèle. Des projections ont été expérimentées sur différentes plates-formes à composants