Building an Extensible Textual Framework for the Rodin Platform.

We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B modelling constructs. It supports direct extensions to the Event-B syntax, such as machine inclusion and record structures, and indirect extensions provided by other plugins, such as UML-B diagrams. We discuss CamilleX’s design, its extension mechanisms, and examples of their use.