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

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

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. 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
Bolt.new

Bolt.new is an AI-powered app development platform that allows users to build full-stack applications directly from their browser. It enables users to create websites, web apps, and prototypes using simple natural language prompts. The platform automatically generates code, sets up project...

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