Synthèse automatique de gardes EB[indice supérieur 3]

Abstract

Dans 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.