Show simple document record

dc.contributor.advisorFrappier, Marcfr
dc.contributor.authorKonopacki, Pierrefr
dc.date.accessioned2014-05-16T15:36:11Z
dc.date.available2014-05-16T15:36:11Z
dc.date.created2008fr
dc.date.issued2008fr
dc.identifier.isbn9780494429709fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4748
dc.description.abstractDans le cadre de développement de systèmes d'informations, les méthodes formelles de spécification peuvent réduire le développement aux seules phases d'analyse et de conception. La méthode EB[indice supérieur 3] est une de ces méthodes. Elle se base sur une algèbre de processus dont les actions peuvent être gardées. Une garde permet de soumettre leur exécution à une condition. Les gardes sont des expressions logiques définies sur les attributs des entités du système. Ces attributs sont stockés dans une base de données relationnelle. Ce mémoire présente un algorithme qui permet de générer une implémentation en Java et SQL des gardes d'une spécification EB[indice supérieur 3] . Il est implémenté dans EB[indice supérieur 3] GG, un outil intégré dans la plateforme APIS, plateforme qui supporte la méthode EB[indice supérieur 3] . Dans ce mémoire, nous présentons l'algorithme élaboré pour réaliser la traduction des définitions de gardes vers du code exécutable et son implémentation. Nous définissons les opérateurs du langage de description des gardes. L'algorithme détaillé dans ce mémoire se base sur la description de ce langage afin d'implémenter les opérateurs en utilisant une forme normale définie à partir d'un sous-ensemble des opérateurs des gardes.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Pierre Konopackifr
dc.titleSynthèse automatique de gardes EB[indice supérieur 3]fr
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