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

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.
Document type :
Conference papers
Liste complète des métadonnées

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 : Saturday, February 9, 2019 - 1:23:31 AM
Document(s) archivé(s) le : Wednesday, April 7, 2010 - 3:36:18 AM

File

RC978.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : hal-00145960, version 1

Collections

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. ENST, pp.3-7, 2006. 〈hal-00145960〉

Share

Metrics

Record views

122

Files downloads

88