EventB2SQL is a Rodin plugin for generating database applications from abstract Event-B models. EventB2SQL generates code for four types of applications:
* Java with MySQL backend (JDBC)
* Java with SQLite backend (JDBC)
* Java for Android with native SQLite backend
* PHP with MySQL backend (PDO)

EventB2SQL can translate abstract Event-B models that use features such as:
* enumerated sets
* variables of set and relation types
* simultaneous assignment
* set comprehensions
* quantified assertions

See the wiki for installation instructions and brief usage examples.

Project Samples

Translating the social networking model.

Project Activity

See All Activity >

Categories

Code Generators

License

Academic Free License (AFL)

Follow EventB2SQL

EventB2SQL Web Site

Other Useful Business Software
QA Wolf | We Write, Run and Maintain Tests Icon
QA Wolf | We Write, Run and Maintain Tests

For developer teams searching for a testing software

QA Wolf is an AI-native service that delivers 80% automated E2E test coverage for web & mobile apps in weeks not years.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of EventB2SQL!

Additional Project Details

Intended Audience

Science/Research

Programming Language

Java

Related Categories

Java Code Generators

Registered

2015-11-20
Report inappropriate content