EB3TG: A TOOL SYNTHESIZING RELATIONAL DATABASE TRANSACTIONS FROM EB3 ATTRIBUTE DEFINITIONS

Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau

2006

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.

References

  1. Batanado, P. (2005). Synthèse des transactions de base de données relationnelle à partir de définitions d'attributs EB3. Master's thesis, Département d'informatique, Université de Sherbrooke, Québec.
  2. Bolognesi, T. and Brinksma, E. (1987). Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1).
  3. Cousineau, G. and Mauny, M. (1998). The functional approach to programming. Cambridge University Press, Cambridge.
  4. Dupuy, S., Ledru, Y., and Chabre-Peccoud, M. (2000). An overview of RoZ: a tool for integrating UML and Z specifications. In Proc. 12th Int. Conf. CAiSE'00, volume 1789 of LNCS, pages 417-430, Stockholm, Sweden. Springer-Verlag.
  5. Edmond, D. (1995). Refining database systems. In Proc. ZUM'95, LNCS, Limerick, Ireland. Springer-Verlag.
  6. Elmasri, R. and Navathe, S. (2004). Fundamentals of Database Systems. Addison-Wesley, fourth edition.
  7. Fraikin, B. and Frappier, M. (2002). EB3PAI: an interpreter for the EB3 specification language. In 15th Intern. Conf. on Software and Systems Engineering and their Applications (ICSSEA 2002), Paris, France. CMSL.
  8. Fraikin, B., Frappier, M., and Laleau, R. (2005). Statebased versus event-based specifications for information systems: a comparison of B and EB3. Software and Systems Modeling, 4(3):236-257.
  9. Frappier, M., Fraikin, B., Laleau, R., and Richard, M. (2002). Apis - automatic production of information systems. In AAAI Spring Symposium, pages 17-24, Stanford, USA. AAAI Press.
  10. Frappier, M. and St-Denis, R. (2003). EB3: an entity-based black-box specification method for information systems. Software and Systems Modeling, 2(2):134-149.
  11. Gervais, F. (2004). EB4 : Vers une méthode combinée de spécification formelle des systèmes d'information. Dissertation for the general examination, GRIL, Université de Sherbrooke, Québec.
  12. Gervais, F., Frappier, M., and Laleau, R. (2004). Synthesizing B substitutions for EB3 attribute definitions. Technical Report 683, CEDRIC, Paris, France.
  13. Gervais, F., Frappier, M., and Laleau, R. (2005a). Generating relational database transactions from recursive functions defined on EB3 traces. In SEFM 2005 - 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, Germany. IEEE Computer Society Press.
  14. Gervais, F., Frappier, M., Laleau, R., and Batanado, P. (2005b). EB3 attribute definitions: Formal language and application. Technical Report 700, CEDRIC, Paris, France.
  15. Hoare, C. (1985). Communicating Sequential Processes. Prentice-Hall.
  16. Jackson, M. (1983). System Development. Prentice-Hall.
  17. Laleau, R. and Mammar, A. (2000). An overview of a method and its support tool for generating B specifications from UML notations. In Proc. ASE: 15th IEEE Conference on Automated Software Engineering, Grenoble, France. IEEE Computer Society Press.
  18. Mammar, A. (2002). Un environnement formel pour le développement d'applications base de données. PhD thesis, CNAM, Paris, France.
  19. Meyer, E. and Souquières, J. (1999). A systematic approach to transform OMT diagrams to a B specification. In Proc. FM'99, volume 1708 of LNCS, Toulouse, France. Springer-Verlag.
  20. Prowell, S., Trammell, C., Linger, R., and Poore, J. (1999). Cleanroom Software Engineering: Technology and Process. Addison-Wesley.
  21. Terrillon, J.-G. (2005). Description comportementale d'interfaces Web. Master's thesis, Département d'informatique, Université de Sherbrooke, Québec.
Download


Paper Citation


in Harvard Style

Gervais F., Batanado P., Frappier M. and Laleau R. (2006). EB3TG: A TOOL SYNTHESIZING RELATIONAL DATABASE TRANSACTIONS FROM EB3 ATTRIBUTE DEFINITIONS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-972-8865-43-6, pages 44-51. DOI: 10.5220/0002494800440051


in Bibtex Style

@conference{iceis06,
author={Frédéric Gervais and Panawé Batanado and Marc Frappier and Régine Laleau},
title={EB3TG: A TOOL SYNTHESIZING RELATIONAL DATABASE TRANSACTIONS FROM EB3 ATTRIBUTE DEFINITIONS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2006},
pages={44-51},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002494800440051},
isbn={978-972-8865-43-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - EB3TG: A TOOL SYNTHESIZING RELATIONAL DATABASE TRANSACTIONS FROM EB3 ATTRIBUTE DEFINITIONS
SN - 978-972-8865-43-6
AU - Gervais F.
AU - Batanado P.
AU - Frappier M.
AU - Laleau R.
PY - 2006
SP - 44
EP - 51
DO - 10.5220/0002494800440051