SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 16:50 - 17:10 at Studio 1 - Validation & Verification Chair(s): Marsha Chechik

This tool paper presents the design and implementation of Messir, a domain-specific textual language supported by our open-source UML requirements engineering tool, named Excalibur. The novelty of our approach is a textual DSL requirements specification allowing flexible and precise UML-based specifications.

Generative approaches benefit from the last decades of tools support development like the Eclipse workbench, and its extensible plugins architecture. In our context, we use the two well-established eclipse plugins: XText to generate the textual editor for Messir, and Sirius to display graphical representations of the textual specification.

We designed our Messir language, with a grammar-based approach generating a textual editor, using XText eclipse plugins. The static semantics is a set of validation rules guiding end-users through the requirements analysis phase. The semantics of our messir DSL is semi-automatic as a translation to prolog code. We also generate, from the requirements model elements, read-only graphical views (using the Sirius eclipse plugin) as well as a complete requirements analysis document in LaTeX.

Excalibur is the eclipse-based workbench supporting the Messir DSL presented in this paper, allowing to write textually UML specifications, and handle the generated views, as well as the prolog and LaTeX code.

Mon 5 Nov

15:30 - 17:30: SLE 2018 - Validation & Verification at Studio 1
Chair(s): Marsha ChechikUniversity of Toronto
papers15:30 - 16:00
Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany
Link to publication DOI Pre-print Media Attached
papers16:00 - 16:30
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
papers16:30 - 16:50
Vadim ZaytsevRaincode Labs
papers16:50 - 17:10
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg