Developing Camille, a text editor for Rodin

Authors:
Jens Bendisposto;Fabian Fritz;Michael Jastram;Michael Leuschel;Ingo Weigelt
Affiliations:
Heinrich Heine Universität Düsseldorf, Universitätsstr. 1, 40225 Düsseldorf, Germany;Westernacher and Partner, Münchäckerweg 1, 69168 Wiesloch, Germany;Heinrich Heine Universität Düsseldorf, Universitätsstr. 1, 40225 Düsseldorf, Germany;Heinrich Heine Universität Düsseldorf, Universitätsstr. 1, 40225 Düsseldorf, Germany;Heinrich Heine Universität Düsseldorf, Universitätsstr. 1, 40225 Düsseldorf, Germany
Venue:
Software—Practice & Experience
Year:
2011

Citing 4
Cited 0

SableCC, an Object-Oriented Compiler Framework

TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
UML-B: Formal modeling and design aided by UML

ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
An open extensible tool environment for event-b

ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Initially, the Rodin platform for Event-B did away with a textual representation for models. In this paper, we explain why a textual representation was required after all and we present the semantic-aware text editor Camille for Rodin. We explain the design choices of Camille, such as splitting the syntax into two-levels for machine and formula syntax. We also describe the challenges, such as synchronizing the textual representation with the Rodin database, and how they were overcome using an EMF abstraction layer. Copyright © 2011 John Wiley & Sons, Ltd.