Analyse de performance de l'interpréteur d'algèbre de processus EB[indice supérieur 3]PAI

Abstract

Un des intérêts d'utiliser des méthodes formelles de spécification dans le développement des systèmes d'information, est de pouvoir se concentrer sur les étapes d' analyse et de conception et de ne plus se préoccuper des détails d'implémentation. Le projet APIS utilise la méthode de spécification EB 3 , basée sur une algèbre de processus, pour décrire le comportement fonctionnel des systèmes. d'information. Le coeur du projet APIS est l'interpréteur d'algèbre de processus EB3 PAI; cet interpréteur implémente un ensemble de règles permettant l'exécution efficace des actions d'une spécification.Un système spécifié à l'aide de cette méthode est généré automatiquement à l'aide de l'interpréteur. Ce mémoire présente l'approche utilisée pour étudier les problèmes de performance dont souffre EB3 PAI. L'essentiel de cette approche, se base sur des techniques de tests de performances et sur les outils de profilage (profiling en anglais) pour récupérer des informations concernant les temps d'exécution et l'utilisation de mémoire. L'analyse statistique des résultats démontre que les performances de EB 3 PAI sont conformes aux performances prévues à partir des algorithmes. Trois modèles linéaires sont validés pour estimer le temps d'éxécution de EB 3 PAI. L'approche utilisée pour conduire cette analyse de performance pourra servir de cas d' étude et de guide pour des applications du même ypte.