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'étude 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.
Type de document :
Communication dans un congrès
Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. ENST, pp.3-7, 2006
Liste complète des métadonnées

Littérature citée [5 références]  Voir  Masquer  Télécharger
https://hal.archives-ouvertes.fr/hal-00145960
Contributeur : Régine Laleau <>
Soumis le : mardi 15 mai 2007 - 16:52:23
Dernière modification le : mardi 13 novembre 2018 - 17:10:02
Document(s) archivé(s) le : mercredi 7 avril 2010 - 03:36:18

Fichier

RC978.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00145960, version 1

Collections

LACL | UPEC | UPEC-UPEM

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

119

Téléchargements de fichiers

80

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD