SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Tue 6 Nov 2018 14:00 - 14:30 at Studio 1 - Grammars & Metamodelling Chair(s): Thomas Degueule

Model-driven engineering advocates the use of models to describe and automate many software development tasks. The syntax of modelling languages is defined by meta-models, making them essential artefacts. A combination of product line engineering methods and meta-models has been proposed to enable specification of modelling language variants, e.g., to describe a range of systems. However, there is a lack of techniques for ensuring syntactic correctness of all meta-models within a family (including their OCL constraints), and semantic correctness related to properties of individual instances of the different variants. The absence of verification methods at the product-line level can cause synthesis of ill-formed meta-models and problematic feature combinations whose effect at the instance level may go unnoticed.

To attack this problem, we propose an approach to lifting both the meta-model syntax checking and the satisfiability checking of properties of individual meta-model instances, to the product-line level. We validate the approach via a prototype tool called Merlin, and report on several experiments that show the advantages of our method w.r.t. an enumerative analysis approach.

Tue 6 Nov

papers
13:30 - 15:00: SLE 2018 - Grammars & Metamodelling at Studio 1
Chair(s): Thomas DegueuleCentrum Wiskunde & Informatica
papers13:30 - 14:00
Talk
Juan de LaraUniversidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg KienzleMcGill University, Canada, Yanis HattabMcGill University
papers14:00 - 14:30
Talk
Esther Guerra Universidad Autónoma de Madrid, Juan de LaraUniversidad Autónoma de Madrid, Marsha ChechikUniversity of Toronto, Rick SalayUniversity of Toronto
papers14:30 - 15:00
Talk
Arvid ButtingSoftware Engineering RWTH Aachen University, Nico JansenSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University