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
74 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More