|
 
|
[GBF06] Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3
Conférence Nationale avec comité de lecture : AFADL'06 Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France, January 2006, pp.25-39,
motcle:
Résumé:
EB3 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.
BibTeX
| @inproceedings { | |||
| GBF06, | |||
| title | = | "{Génération automatique de transactions de base de données relationnelle à partir de définitions d'attributs EB3}", | |
| author | = | " F. Gervais and P. Batanado and M. Frappier and R. Laleau ", | |
| booktitle | = | "{AFADL'06 Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France}", | |
| year | = | 2006, | |
| month | = | "January", | |
| pages | = | "25-39", | |
| } | |||
