A Semantics-Aware Text Editor for Event-B
Fabian Fritz, Michaël Leuschel, Jörg Rothe · 2009
Text editors are common editing tools for many modeling and programming languages. Due to their wide-spread acceptance and the multifaceted application of text editing in general, users are accustomed with this way of editing. The Rodin platform for the Event-B method has been developed during the Rodin EU Framework 6 project and is now being deployed in industry in the EU Framework 7 project Deploy. Rodin models are stored in a database and thus far only a structural, graphical editor has been provided to input and modify the models. This has turned out to be very cumbersome for larger models, and industrial partners have repeatedly requested a textual representation along with a proper text editor. With this work we introduce a comprehensive, state-of-the-art text editor for the Event-B method. It is well integrated with the Rodin platform and the existing graphical edi-tor. It is based on the Eclipse text editor framework and provides a user interface which complies with modern usability standards. The text editor offers common features such as: