EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3 - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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

Résumé

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.
Fichier principal
Vignette du fichier
RC978.pdf (179.05 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00145960 , version 1 (15-05-2007)

Identifiants

  • HAL Id : hal-00145960 , version 1

Citer

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⟩
66 Consultations
73 Téléchargements

Partager

Gmail Facebook X LinkedIn More