Résumé: Cet article introduit le système de configuration Aster, qui est destiné à faciliter la construction d'applications distribuées ayant différentes exigences vis-à-vis de l'environnement d'exécution. Dans cette perspective, notre approche repose sur la spécialisation du système d'exécution, au regard des contraintes de l'application, cette spécialisation s'appuyant sur la ré-utilisation de logiciels du niveau système. Par ailleurs, afin de permettre une plus large utilisation des applications développées au moyen du système Aster, leur exécution repose sur le standard CORBA, issu du consortium OMG.

Keywords: Appariement de spécifications formelles, CORBA, interconnexion de logiciels hétérogènes, spécialisation, système de configuration, système distribué.