ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify model consistency by means of rules. They can be used to automatically derive specifications of edit operations for single models and repair rules that propagate model changes to related models. To support model (re-)synchronization activities more effectively, a construction mechanism for short-cut rules has been recently developed. They describe consistency-preserving complex edit operations across model boundaries. We show that edit and repair rules can be derived from short-cut rules. As proof of concept, we implemented the construction and application of short-cut edit and repair rules in eMoflon. Our evaluation shows that short-cut-rule-based repair processes have considerably decreased data loss and improved runtime compared to former model synchronization processes in eMoflon.

Wed 10 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

fase-2019-papers
10:30 - 12:30: FASE 2019 - Model-driven Development and Model Transformation at JUPITER
Chair(s): Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
fase-2019-papers10:30 - 11:00
Talk
Philip Zweihoff, Stefan Naujokat, Bernhard SteffenTechnical University Dortmund
Link to publication
fase-2019-papers11:00 - 11:30
Talk
Lars Fritsche, Jens Kosiol, Andy SchürrTU Darmstadt, Gabriele TaentzerUniversität Marburg
Link to publication
fase-2019-papers11:30 - 12:00
Talk
Artur BoronatUniversity of Leicester
Link to publication
fase-2019-papers12:00 - 12:30
Talk
Sven Schneider, Leen Lambers, Fernando OrejasUniversitat Politècnica de Catalunya, Spain
Link to publication