Show simple document record

dc.contributor.advisor[non identifié]fr
dc.contributor.authorMilhau, Jérémyfr
dc.date.accessioned2014-05-16T15:36:22Z
dc.date.available2014-05-16T15:36:22Z
dc.date.created2008fr
dc.date.issued2008fr
dc.identifier.isbn9780494495452fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4795
dc.description.abstractDans le cadre des systèmes d'information générés automatiquement à partir de spécifications formelles EB[exposant]3 (selon la méthode APIS), les concepteurs de systèmes se heurtent à plusieurs difficultés. Il n'est notamment pas possible de proposer à l'avance un message d'erreur spécifique pour chacune des exécutions invalides pouvant survenir pendant la durée de vie du système. En effet, une description exhaustive de toutes les erreurs possibles d'un système d'information, et l'écriture d'un message d'erreur adapté pour chacune d'elles est un travail long et exigeant, souvent mis de côté dans les méthodes de développement traditionnelles. Or, les messages d'erreur sont une source d'aide non négligeable pour les utilisateurs d'un système d'information; les retirer serait préjudiciable à la prise en main et à la compréhension du système par ses utilisateurs. De ce fait, une méthode de génération automatique de messages d'erreur à partir de spécifications formelles EB[exposant]3 permettant d'intégrer des informations sur l'état du système ainsi que les causes de l'erreur semble adaptée tant à l'esprit de la méthode APIS qu'à la nécessité de proposer une réponse à l'utilisateur pour ses requêtes invalides. Ce mémoire présente une méthode de génération automatique de messages d'erreur à partir de spécifications formelles EB[exposant]3. Afin de produire un message d'erreur, une analyse de l'état du système est effectuée pour déterminer quelle est l'origine de l'erreur; une étude de la source de l'erreur est menée pour en déduire une structure de message d'erreur; l'intégration de données relatives au contexte d'exécution est ensuite faite sur cette structure et enfin un message de diagnostic est proposé en complément du message d'erreur.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Jérémy Milhaufr
dc.titleGénération automatique de messages d'erreur pour l'exécution symbolique d'expressions de processus EB[exposant]3fr
dc.typeMémoirefr
tme.degree.disciplineInformatiquefr
tme.degree.grantorFaculté des sciencesfr
tme.degree.levelMaîtrisefr
tme.degree.nameM. Sc.fr


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record