Efficient Model Synchronization by Automatically Constructed Repair ProcessesBest paper nomination
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 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:30 | Model-driven Development and Model TransformationFASE at JUPITER Chair(s): Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
10:30 30mTalk | Pyro: Generating Domain-Specific Collaborative Online Modeling Environments FASE Link to publication | ||
11:00 30mTalk | Efficient Model Synchronization by Automatically Constructed Repair ProcessesBest paper nomination FASE Link to publication | ||
11:30 30mTalk | Offline Delta-driven Model Transformation with Dependency Injection FASE Artur Boronat University of Leicester Link to publication | ||
12:00 30mTalk | A Logic-Based Incremental Approach to Graph Repair FASE Link to publication | ||