[GBF06a] EB3TG: A Tool Synthesizing Relational Database Transactions From EB3 Attribute Definitions

Conférence Internationale avec comité de lecture : ICEIS'06, Paphos, Chypre, January 2006, pp.44-51, Series ISAS,

Auteurs: F. Gervais , P. Batanado , M. Frappier , R. Laleau

motcle:

Résumé: EB3 is a formal language for specifying information systems (IS). In EB3, the sequences of events accepted by the system are described with a process algebra; they represent the valid traces of the IS. Entity type and association attributes are computed by means of recursive functions defined on the valid traces of the system. In this paper, we present EB3TG, a tool that synthesizes Java programs that execute relational database transactions which correspond to EB3 attribute definitions.

BibTeX

@inproceedings {
	GBF06a,
	title	=	"{EB3TG: A Tool Synthesizing Relational Database Transactions From EB3 Attribute Definitions}",
	author	=	" F. Gervais and P. Batanado and M. Frappier and R. Laleau ",
	booktitle	=	"{ICEIS'06, Paphos, Chypre}",
	year	=	2006,
	month	=	"January",
	series	=	"ISAS",
	pages	=	"44-51",
}