EventB2SQL

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 >

License

Academic Free License (AFL)

Follow EventB2SQL

EventB2SQL Web Site

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

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

Similar Business Software

Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software
Google AI Studio

Google AI Studio is a unified development platform that helps teams explore, build, and deploy applications using Google’s most advanced AI models, including Gemini 3.5. It brings text, image, audio, and video models together in one interactive playground. With vibe coding, developers can use...

See Software
Retool

Retool is an AI-powered platform that enables teams to build internal software, agents, and workflows faster using natural language and composable building blocks. It allows users to go from a simple prompt to a fully deployed application that works with their existing data, systems, and...

See Software
JetBrains Junie

Junie is an AI-powered coding agent developed by JetBrains designed to enhance developer productivity by integrating directly into popular IDEs such as IntelliJ IDEA, PyCharm, and Android Studio. It supports developers by assisting with code completion, testing, and inspections, ensuring code...

See Software
Tabnine

Tabnine is the AI coding assistant that you control — helping development teams of every size use AI to accelerate and simplify the software development process without sacrificing privacy, security, or compliance. Tabnine boosts engineering velocity, code quality, and developer happiness by...

See Software
AskCodi

The Syntax Generating apps are the easiest way to get coding answers to your questions. It's simple to use, and you'll be amazed at how easy it is to get answers to your coding questions in the language you love. AskCodi has applications for frontend/backend development, documentation, test...

See Software