Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1109/QRS.2015.34 | QRS '15 Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security |
Keywords | Field | DocType |
atmospheric modeling,benchmark testing,databases,optimization,unified modeling language,java | Programming language,Enterprise resource planning,Unified Modeling Language,Source code,Computer science,As is,Code generation,KPI-driven code analysis,Java,Benchmark (computing) | Conference |
Citations | PageRank | References |
2 | 0.42 | 7 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Nestor Cataño | 1 | 57 | 4.77 |
| Tim Wahls | 2 | 152 | 13.06 |