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.
The Atelier B GUI is now open-source (GPL v3.0) and is hosted on sourceforge.