How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?

F. Gervais, M. Frappier, R. Laleau

Abstract

EB3 is a trace-based formal language created for the specification of information systems (IS). Attributes, linked to entities and associations of an IS, are computed in EB3 by recursive functions on the valid traces of the system. In this paper, we show how to synthesize relational database transactions that correspond to EB3 attribute definitions. Thus, each EB3 action is translated into a transaction. EB3 attribute definitions are analysed to determine the key values affected by each action. To avoid problems with the sequencing of SQL statements in the transactions, temporary variables and/or tables are introduced for these key values.

References

  1. Cousineau, G., Mauny, M.: The Functional Approach to Programming. Cambridge University Press, Cambridge (1998)
  2. Edmond, D.: Refining Database Systems. In Proc. ZUM'95, Limerick, Ireland, 7-9 September 1995. LNCS, Vol. 967, Springer-Verlag (1995) 25-44
  3. Fraikin, B., Frappier, M.: EB3PAI: an Interpreter for the EB3 Specification Language. In Proc. 15th Intern. Conf. on Software and Systems Engineering and their Applications, Paris, France, 3-5 December 2002. CMSL, Paris (2002)
  4. Fraikin, B., Frappier, M., Laleau, R.: State-Based versus Event-Based Specifications for Information Systems: a Comparison of B and EB3. Software and System Modeling, to appear
  5. Frappier, M., Fraikin, B., Laleau, R., Richard, M.: APIS - Automatic Production of Information Systems. In Proc. AAAI Spring Symposium, Stanford, USA, 25-27 March 2002. Techn. Rep. SS-02-05, AAAI Press (2002) 17-24
  6. Frappier, M., St-Denis, R.: EB3: an Entity-Based Black-Box Specification Method for Information Systems. Software and System Modeling, 2(2) (2003) 134-149
  7. Gervais, F., Frappier, M., Laleau, R.: EB3 Attribute Definitions: Formal Language and Application. Technical Report 700, CEDRIC, Paris, France (2005)
  8. Gervais, F., Frappier, M., Laleau, R.: Synthesizing B Substitutions for EB3 Attribute Definitions. Technical Report 683, CEDRIC, Paris, France (2004)
  9. Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall (1985)
  10. ISO: Database Language SQL. International Standard ISO/IEC JTC1/SC21, doc. 9075 N5739 (1992)
  11. Mammar, A.: Un environnement formel pour le développement d'applications base de données. Ph.D. thesis, CNAM, Paris (2002)
Download


Paper Citation


in Harvard Style

Gervais F., Frappier M. and Laleau R. (2005). How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 83-88. DOI: 10.5220/0002573600830088


in Bibtex Style

@conference{msvveis05,
author={F. Gervais and M. Frappier and R. Laleau},
title={How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={83-88},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002573600830088},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?
SN - 972-8865-22-8
AU - Gervais F.
AU - Frappier M.
AU - Laleau R.
PY - 2005
SP - 83
EP - 88
DO - 10.5220/0002573600830088