ICGT 2024
Wed 10 - Thu 11 July 2024 Enschede, Netherlands
co-located with STAF 2024
Wed 10 Jul 2024 16:00 - 16:30 at Waaier 2 - ICGT Session 3 Chair(s): Fernando Orejas

Modelling languages are intensively used in paradigms like model-driven engineering to automate all tasks of the development process. These languages may have variants, in which case the need arises to deal with language families rather than with individual languages. However, specifying the syntax and semantics of each language variant separately in an enumerative way is costly, hinders reuse across variants, and may yield inconsistent semantics between variants. Hence, we propose a novel, modular and compositional approach to describing product lines of modelling languages. It enables the incremental definition of language families by means of modules comprising meta-model fragments, graph transformation rules, and rule extensions. Language variants are configured by selecting the desired modules, which entails the composition of a language meta-model and a set of rules defining its semantics. This paper describes: a theory for checking well-formedness, instantiability, and consistent semantics of all languages within the family; an implementation as an Eclipse plugin; and an evaluation reporting drastic specification size and analysis time reduction in comparison to an enumerative approach.

Wed 10 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00
ICGT Session 3ICGT Research Papers at Waaier 2
Chair(s): Fernando Orejas Universitat Politècnica de Catalunya
15:30
30m
Talk
Checking Transaction Isolation Violations with Graph Queries
ICGT Research Papers
Stefania Dumbrava ENSIIE & Institut Polytechnique de Paris, Zhao Jin ENSIIE, Burcu Kulahcioglu Ozkan Delft University of Technology, P: Jingxuan Qiu Delft University of Technology
16:00
30m
Talk
Modular language product lines: concept, tool and analysisJournal-first paper
ICGT Research Papers
Juan de Lara Autonomous University of Madrid, Esther Guerra Universidad Autónoma de Madrid, P: Paolo Bottoni Sapienza University of Rome
Link to publication DOI
16:30
30m
Talk
Taint Analysis for Graph APIs Focusing on Broken Access Control
ICGT Research Papers
Leen Lambers BTU Cottbus Senftenberg, P: Lucas Sakizloglou Brandenburgische Technische Universität Cottbus-Senftenberg, Osama Al-Wardi Brandenburgische Technische Universität Cottbus-Senftenberg, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg
DOI