Vers la réutilisation et le recyclage des composants actifs
Pour permettre à l'Europe de garder une longueur d'avance dans le domaine hautement compétitif des technologies, la section Future and Emerging Technologies (FET) du programme Information Society Technologies (IST) finance des projets d'avant-garde. EASYCOMP est l'un d'eux et a pour but de développer une méthode de réutilisation et de recyclage de composants actifs dans le cadre du développement de logiciels. Le consortium EASYCOMP a mis au point une approche de gestion des composants en plusieurs étapes. La première fait appel au raisonnement basé sur la compression (CBR, Compression-Based Reasoning), qui est comparable à la définition de spécifications techniques communes à la plupart des projets informatiques. L'adaptation de la vérification des modèles des systèmes traditionnels aux systèmes basés sur des composants constitue un élément central du CBR. Cette opération est soutenue par l'outil Component Verifier (CoV), qui gère le groupement d'états, la hiérarchisation, la compression et d'autres aspects. Dans la mesure où la plupart des systèmes incluent des composants distribués, l'étape suivante aborde les besoins spécifiques de ces systèmes. À cette fin, il convenait de développer et d'appliquer de nouvelles méthodes en vue de garantir un fonctionnement robuste et homogène. La solution est venue d'un partenaire du consortium EASYCOMP, sous la forme de protocoles et d'une vérification des protocoles. C'est ainsi qu'ont été créés le langage TCPL (Transactional Component Protocol Language) et l'outil CoTaP (Composition of Transaction Protocols) pour gérer les protocoles. Le consortium EASYCOMP est à la recherche d'un financement supplémentaire et de partenariats afin d'approfondir le développement de cette approche et de ses outils.
