FIDL Spécifications formelles en IDL3

Nous presentons dans cet article nos travaux sur le langage FIDL - Formai Interface Definition Language - et son utilisation pour la specification de systemes logiciels a base de composants - Component-Based Software ou CBD. Nous envisageons dans un premier temps d'appliquer ce langage de specification au test unitaire de composants. La premiere partie de cet article definit le modele general de composants sous-jacent a la notation FIDL, modele qui reprend et unifie les principaux concepts utilises par les plateformes industrielles - CCM pour CORBA, J2EE pour Java. La seconde partie introduit la syntaxe et la semantique du langage FIDL, cette derniere etant exprimee en termes d'ensembles de traces. La troisieme partie presente la methodologie de test basee sur FIDL que nous avons prototypee.