Analyse de performance de l'interpreteur d'algebre de processus EB3PAI

Un des interets d'utiliser des methodes formelles de specification dans le developpement des systemes d'information, est de pouvoir se concentrer sur les etapes d' analyse et de conception et de ne plus se preoccuper des details d'implementation. Le projet APIS utilise la methode de specification EB 3, basee sur une algebre de processus, pour decrire le comportement fonctionnel des systemes. d'information. Le coeur du projet APIS est l'interpreteur d'algebre de processus EB3PAI cet interpreteur implemente un ensemble de regles permettant l'execution efficace des actions d'une specification. Un systeme specifie a l'aide de cette methode est genere automatiquement a l'aide de l'interpreteur.Ce memoire presente l'approche utilisee pour etudier les problemes de performance dont souffre EB3PAI. L'essentiel de cette approche, se base sur des techniques de tests de performances et sur les outils de profilage (profiling en anglais) pour recuperer des informations concernant les temps d'execution et l'utilisation de memoire. L'analyse statistique des resultats demontre que les performances de EB3PAI sont conformes aux performances prevues a partir des algorithmes. Trois modeles lineaires sont valides pour estimer le temps d'execution de EB 3PAI. L'approche utilisee pour conduire cette analyse de performance pourra servir de cas d' etude et de guide pour des applications du meme ypte.