Skip to Main content Skip to Navigation
Conference papers

EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3

Panawe Batanado 1 Frédéric Gervais 1, 2 Marc Frappier 1 Régine Laleau 3
1 GRIL - Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke]
Département d'informatique [Sherbrooke]
2 CEDRIC - Centre d'études et de recherche en informatique et communications
3 LACL - Laboratoire d'Algorithmique Complexité et Logique
Abstract : EB3 is a formal language dedicated to information systems specification. Entity type and association attributes are evaluated by recursive functions defined on valid traces of systems. In this paper, a tool called EB3TG is presented. It allows Java/SQL programs to be automatically generated. These programs execute relational database transactions that correspond to EB3 attribute definitions.
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-00145960
Contributor : Régine Laleau <>
Submitted on : Tuesday, May 15, 2007 - 4:52:23 PM
Last modification on : Tuesday, September 17, 2019 - 11:06:08 AM
Document(s) archivé(s) le : Wednesday, April 7, 2010 - 3:36:18 AM

File

Vignette du document
RC978.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00145960, version 1

Collections

CNRS | CNAM | LACL | UPEC | UPEC-UPEM | CEDRIC-CNAM

Citation

Panawe Batanado, Frédéric Gervais, Marc Frappier, Régine Laleau. EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3. Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. pp.3-7. ⟨hal-00145960⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

133

Files downloads

99

Contact

Informations

CCSD