Premium
Developing Camille, a text editor for Rodin
Author(s) -
Bendisposto Jens,
Fritz Fabian,
Jastram Michael,
Leuschel Michael,
Weigelt Ingo
Publication year - 2011
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.1016
Subject(s) - representation (politics) , abstraction , syntax , computer science , synchronizing , simple knowledge organization system , event (particle physics) , linguistics , natural language processing , artificial intelligence , programming language , rdf , semantic web , philosophy , physics , telecommunications , sparql , epistemology , quantum mechanics , transmission (telecommunications) , politics , political science , law
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.