Skip to main content
European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary
Contenu archivé le 2024-05-28

Rich Interfaces for Verifiable Aspect Reuse

Article Category

Article available in the following languages:

Le développement logiciel devient plus facile

Les nouveaux outils de support de l'ingénierie logicielle basée sur la programmation orientée aspect contribueront à mieux répartir la masse des tâches de programmation et à relever les défis.

Les systèmes logiciels deviennent plus imposants et plus complexes, nécessitant des solutions toujours plus sophistiquées pour faciliter l'ingénierie logicielle. Le projet RIVAR («Rich interfaces for verifiable aspect reuse»), financé par l'UE, a permis de concevoir de nouvelles approches qui répartissent les défis et recombinent des solutions partielles au sein de systèmes modulaires intégrés. L'équipe du projet a examiné ces défis au travers de la programmation orientée aspect (POA), en étudiant diverses stratégies de modularisation qui permettraient aux programmeurs de conserver en parallèle de façon efficace des hiérarchies de modularisation et de les combiner pour créer un système complet. Pour y parvenir, l'équipe du projet RIVAR a examiné le code source de trois grands systèmes basés sur l'aspect, en documentant des hypothèses spécifiques faites par leurs développeurs. Elle les a ensuite cataloguées dans une publication unique qui peut être utilisée pour développer des hypothèses dans les descriptions de code, entre autres applications. Le catalogue des types d'hypothèse de l'aspect en résultant a été publié à l'occasion de la Conférence internationale sur le développement logiciel orienté aspect, en 2011, spécialement centrée sur le langage AspectJ. En outre, l'équipe du projet a conçu des modèles d'expressions formelles des types d'hypothèse pour vérifier que les hypothèses de l'aspect peuvent être facilement intégrées à un système de base. Les développeurs qui définissent l'aspect peuvent utiliser ces modèles pour contribuer à faciliter différents éléments clés de l'ingénierie logicielle. Plusieurs des outils destinés à faciliter ce travail ont été mis en ligne sur le site Web du projet, qui présente des articles publiés, données pertinentes et autres ressources.

Découvrir d’autres articles du même domaine d’application