Les styles architecturaux et l’ingénierie des modèles sont deux approches qui permettent de maîtriser la complexité d’un système logiciel via la notion d’abstraction. Dans ce mémoire, nous combinons les deux en proposant un langage de modélisation exécutable dédié au style architectural Pipes et Filtres dénommé xPFL (eXecutable Pipes and Filters Language). Nous définissons formellement tous les aspects de ce langage (la syntaxe abstraite, la syntaxe concrète et la sémantique). Pour les connecteurs du style architectural, nous adoptons une approche formelle pour définir leur sémantique en utilisant comme domaine sémantique la transformation de graphe et en utilisant la transformation de modèle pour définir le mapping sémantique. Nous offrons également un outil de support pour ce langage sous forme de plugins Eclipse conforme à la définition formelle de la syntaxe et de la sémantique. Cet outil est principalement composé d’un éditeur graphique, d’un interpréteur et d’un générateur de code final en Java.
Mots Clés : style architectural, pipes et filtres, ingénierie des modèles, méta-modélisation, modèle exécutable, sémantique opérationnelle, transformation de graphe.
