EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions

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.

[1]  Sophie Dupuy-Chessa,et al.  An Overview of RoZ: A Tool for Integrating UML and Z Specifications , 2000, CAiSE.

[2]  Jeanine Souquières,et al.  A Systematic Approach to Transform OMT Diagrams to a B Specification , 1999, World Congress on Formal Methods.

[3]  Marc Frappier,et al.  Synthesizing B Substitutions for EB3 Attribute Definitions , 2004 .

[4]  David Edmond.  Refining Database Systems , 1995, ZUM.

[5]  Marc Frappier,et al.  State-based versus event-based specifications for information systems: a comparison of B and eb3 , 2005, Software & Systems Modeling.

[6]  Marc Frappier,et al.  Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces , 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).

[7]  Marc Frappier,et al.  EB3: an entity-based black-box specification method for information systems , 2003, Software & Systems Modeling.

[8]  Amel Mammar.  Un environnement formel pour le développement d'applications bases de données , 2002 .

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  Amel Mammar,et al.  An overview of a method and its support tool for generating B specifications from UML notations , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[11]  Tommaso Bolognesi,et al.  Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[12]  MSc Mbcs CEng Michael Bronzite BSc.  System Development , 2000, Springer London.

[13]  Michel Mauny,et al.  The functional approach to programming , 1998 .

[14]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[15]  Marc Frappier,et al.  apis 1 - Automatic Production of Information Systems , 2002 .

[16]  이상준,et al.  [서평]Cleanroom Software Engineering-Technology and Process , 2000 .

[17]  Régine Laleau,et al.  EB3 Attribute Definitions: Formal Language and Application , 2005 .