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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

15:30 - 17:30
Validation & VerificationSLE 2018 at Studio 1
Chair(s): Marsha Chechik University of Toronto
15:30
30m
Talk
Continuous Model Validation using Reference Attribute Grammars
SLE 2018
Johannes Mey Technische Universität Dresden, René Schöne Technische Universität Dresden, Görel Hedin , Emma Söderberg Lund University, Thomas Kühn Technische Universität Dresden, Niklas Fors Lund University, Jesper Oqvist Lund University, Uwe Aßmann TU Dresden, Germany
Link to publication DOI Pre-print Media Attached
16:00
30m
Talk
Migrating Business Logic to an Incremental Computing DSL: A Case Study
SLE 2018
Daco Harkes Delft University of Technology, Elmer van Chastelet Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Pre-print
16:30
20m
Talk
An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo
SLE 2018
Vadim Zaytsev Raincode Labs
16:50
20m
Talk
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo
SLE 2018
Benoît Ries University of Luxembourg, Alfredo Capozucca University of Luxembourg, Nicolas Guelfi University of Luxembourg
DOI