Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3

International audienceEB3 est un langage formel créé pour la spécification des systèmes d'information. Les attributs des types d'entité etdes associations du système sont évalués en EB3 grâce à des fonctions récursives définies sur les traces valides du système. Dans cet article, nous montrons comment générer automatiquement des programmes Java qui exécutent des transactions de base de données relationnelle qui correspondent aux définitions d'attributs EB3. Dans un premier temps, nous introduisons les principes de la synthèse de transactions. Ensuite, nous présentons l'outil de génération des programmes et nous discutons des choix d'implantation qui ont été adoptés lors de son développement en Java