Incremental model synchronization based on a trace model

Authors:
István Madari;László Angyal;László Lengyel
Affiliations:
Budapest University of Technology and Economics, Department of Automation and Applied Informatics, Budapest, Hungary;Budapest University of Technology and Economics, Department of Automation and Applied Informatics, Budapest, Hungary;Budapest University of Technology and Economics, Department of Automation and Applied Informatics, Budapest, Hungary
Venue:
SMO'09 Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimization
Year:
2009

Citing 4
Cited 0

Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Attribute algebra for N-layer metamodeling

AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Incremental model synchronization with triple graph grammars

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model synchronization is an extant and significant problem in model-related technologies. In general, a modeled system is composed of several models that are often related to one another. Consequently, if one model is altered in the development process, the related models will not be consistent anymore. For that reason, resolving inconsistency between those models necessitates a model synchronization method. Performing synchronization manually can be an error prone task due to the number and complexity of model elements. In model-driven technologies, where processing is carried out as a series of model transformations, applying model transformations can also be a reasonable option for the reconciliation. This paper presents an approach that uses trace models and model transformations to facilitate incremental model synchronization.