| Darts 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 EB3 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.;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.;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 EB3. Il est implémenté dans EB3GG, un outil intégré dans la plateforme APIS, plateforme qui supporte la méthode EB 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. |
