Sites Inria

English version

Equipe de recherche ASCOLA

Langages d'aspects et de composition

Présentation de l'équipe

ASCOLA s'attaque au problème général de la structuration et de l'évolution du logiciel en développant des concepts, des langages, des implémentations et des outils pour la construction d'architectures logicielles à partir de composants et d'aspects. Son but à long terme est le développement de nouvelles abstractions pour la programmation des architectures logicielles, leur représentation en termes de langages de programmation expressifs et leur implémentation à la fois correcte et efficace.

Axes de recherche

Nos objectifs principaux sont :

  • le développement de nouveaux concepts, de support linguistique, et d'outils pour les applications distribuées permettant de gérer notamment les préoccupations transverses comme la distribution elle-même, les comportements transactionnels et la sécurité ;
  • la définition d'un modèle qui intègre de manière transparente composants et aspects, en particulier au travers d'une notion d'interface rendant possible le découplage des composants et des aspects concrets, tout en permettant l'analyse et l'application de propriétés de composition dans un contexte hybride composant/aspect ;
  • l'investigation des relations entre langages dédiés, langages d'aspects et langages de composition. Nous comptons exploiter les similitudes entre ces classes de langages dans le cadre du développement de techniques de conception et d'implémentation des langages de manière à faciliter un développement par transformations d'applications efficaces et correctes à partir d'abstraction de programmation de haut niveau ;
  • l'étude des fondements de la programmation par aspects et de leurs propriétés de composition au moyen de sémantiques formelles pour les aspects (et les composants) ainsi que des techniques d'analyse, de vérification et de validation correspondantes.

Nous validons nos résultats au travers d'applications significatives dans le domaine des systèmes d'informations des entreprises, des architectures à base de services (intergiciels, composants métiers), de la programmation des grappes et des grilles, ainsi que des systèmes ubiquitaires.

Relations industrielles et internationales

  • AOSD-Europe
  • Vrije Universiteit Brussel, Universidad de Chile, Technische Universität Darmstadt, University of Lancaster
  • Bull, France Telecom, SAP, ScalAgent

Mots-clés : Services Composants Aspects Composition Modularisation Langages de programmation d'architectures logicielles Langages dédiés Sémantique et propriétés formelle Distribution Concurrence Servic

Suivez Inria tout au long de son 50e anniversaire et au-delà !