Atelier B 4.0 GUI


The Atelier B GUI is the application that enables to user to apply the B method for software or system modelling, using a graphical interface instead of a batch, command-line based environment.


The GUI, based on Qt, communicates with the session monitor (which is a kind of « chef d’orchestre »). The GUI and the session monitor are two independent applications that exchange text messages over pipes. Extending/modifying the GUI only requires to know the format of the messages and the way they are sequenced.

Integrating external tools

The Atelier B GUI provides a simple way to integrate external tools within the GUI, by writing an xml file describing the command that should be launched. This extension mechanism is fully described here.

Sourceforge site

The Atelier B GUI is now open-source (GPL v3.0) and is hosted on sourceforge.