• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

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

Thumbnail
View/Open
MR61434.pdf (879.1Kb)
Publication date
2009
Author(s)
Ettouhami, Moulay El Mehdi
Show full document record
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.
URI
http://savoirs.usherbrooke.ca/handle/11143/4843
Collection
  • Sciences – Mémoires [1602]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback