Répartition et mobilité en JAVACT Une approche dérivée d'un modèle formel

Dans le cadre du genie logiciel pour les applications concurrentes, reparties et mobiles, nous proposons des analyses statiques pour la validation des programmes exploitant le modele « acteur ». Ces analyses sont definies pour le calcul CAP permettant d'exprimer l'architecture concurrente des applications. Celles-ci sont ensuite programmees en utilisant la bibliotheque JAVACT dont la structure est maintenant derivee de CAP. Cependant, la repartition et la mobilite introduisent une complexite supplementaire. L'objectif de cette communication est la presentation de DCAP et DJAVACT qui etendent CAP et JAVACT pour exprimer l'architecture repartie et mobile des applications. Ces travaux sont fondes sur une synthese bibliographique etendue des calculs existants. Ils introduisent en particulier les notions de domaines hierarchiques securises et de groupes securises.