Authors:
Frédéric Gervais
1
;
Panawé Batanado
2
;
Marc Frappier
2
and
Régine Laleau
3
Affiliations:
1
CEDRIC, CNAM-IIE, France
;
2
GRIL, Université de Sherbrooke, Canada
;
3
LACL, Université Paris 12, France
Keyword(s):
EB3, trace, pattern matching, transaction, Java, SQL.
Related
Ontology
Subjects/Areas/Topics:
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Methodologies, Processes and Platforms
;
Model-Driven Software Development
;
Modeling Concepts and Information Integration Tools
;
Modeling Formalisms, Languages and Notations
;
Software Engineering
;
Systems Engineering
Abstract:
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.