论文信息 - A Case Study on Code Generation of an ERP System from Event-B

A Case Study on Code Generation of an ERP System from Event-B

Most code generation tools for Event-B are designed for generating small, in-memory applications such as embedded controllers. In this work, we investigate whether the EventB2SQL tool (Wang and Wahls, LNCS 8702) can generate satisfactory code for the OpenBravo POS ERP (Enterprise Resource Planning) system by replacing the database core of the system with code generated from an Event-B model. We describe our methodology for generating code with EventB2SQL and enhancements to EventB2SQL that improve the performance of the generated code, and present empirical results and a user study comparing the performance of OpenBravo POS as is and with its core replaced by code generated by EventB2SQL.

Néstor Cataño | Tim Wahls | Néstor Cataño | Tim Wahls

[1] Qi Wang,et al. Translating Event-B Machines to Database Applications , 2014, SEFM.

[2] Neil Evans,et al. Redevelopment of an industrial case study using event-B and Rodin , 2007 .

[3] Kaisa Sere,et al. Stepwise Refinement of Action Systems , 1991, Struct. Program..

[4] Jean-Pierre Jacquot,et al. JeB: Safe Simulation of Event-B Models in JavaScript , 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

[5] Ralph Johnson,et al. design patterns elements of reusable object oriented software , 2019 .

[6] Amel Mammar,et al. UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method , 2006, J. Database Manag..

[7] Cliff B. Jones,et al. Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] , 2006, RODIN Book.

[8] Martin Gogolla,et al. Formal semantics of SQL , 1994 .

[9] Victor Rivera,et al. Code generation for Event-B , 2016, International Journal on Software Tools for Technology Transfer.

[10] Jean-Pierre Jacquot,et al. Scaling Up with Event-B: A Case Study , 2011, NASA Formal Methods.

[11] Amel Mammar,et al. From a B formal specification to an executable code: application to the relational database domain , 2006, Inf. Softw. Technol..