[GFL05b] EB3 Attribute Definitions: Formal Language and Application

Rapport Scientifique : Date de dépot: 2005/01/01, (Tech. Rep.: CEDRIC-05-700)

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

Mots clés: Symbols and Operators

Résumé: In this technical report, we present the EB3 formal language for attribute definitions. Attributes, linked to entities and associations of an IS, are computed in EB3 by recursive functions on the valid traces of the system. The syntax and the main properties of the language are introduced. Then, we show how to synthesize imperative programs that correspond to EB3 attribute definitions. Our algorithms are illustrated by an example of a library management system.

Download

BibTeX

@techreport {
	GFL05b,
	title	=	"{EB3 Attribute Definitions: Formal Language and Application}",
	author	=	"F. Gervais and M. Frappier and R. Laleau and P. Batanado",
	number	=	"{CEDRIC-05-700}",
	institution	=	"{CEDRIC laboratory, CNAM-Paris, France}",
	date	=	{01-01-2005},
}