Graph Transformation for Software Engineers
The digital transformation of society affects all aspects of human life, offering new
opportunities but also creating challenges and risks. More tasks will be automated using …
opportunities but also creating challenges and risks. More tasks will be automated using …
[PDF][PDF] Evaluating Model Differencing for the Consistency Preservation of State-based Views.
While developers and users of modern software systems usually only need to interact with a
specific part of the system at a time, they are hindered by the ever-increasing complexity of …
specific part of the system at a time, they are hindered by the ever-increasing complexity of …
Incremental (unidirectional) model transformation with emoflon:: Ibex
Graph transformation is a mature formalism often used as a basis for model transformation
tools. Although numerous graph transformation tools exist, very few explore the paradigm of …
tools. Although numerous graph transformation tools exist, very few explore the paradigm of …
Incremental execution of rule-based model transformation: Using dependency injection and standardized model changes
A Boronat - International Journal on Software Tools for Technology …, 2021 - Springer
When model transformations are used to implement consistency relations between very
large models, incrementality plays a cornerstone role in detecting and resolving …
large models, incrementality plays a cornerstone role in detecting and resolving …
[PDF][PDF] Towards Multiple Model Synchronization with Comprehensive Systems.
Model management is a central activity in Software Engineering. The most challenging
aspect of model management is to keep models consistent with each other while they …
aspect of model management is to keep models consistent with each other while they …
Short-Cut Rules: Sequential Composition of Rules Avoiding Unnecessary Deletions
Sequences of rule applications in high-level replacement systems are difficult to adapt.
Often, replacing a rule application at the beginning of a sequence, ie, reverting a rule and …
Often, replacing a rule application at the beginning of a sequence, ie, reverting a rule and …
Formal foundations for information-preserving model synchronization processes based on triple graph grammars
J Kosiol - 2022 - archiv.ub.uni-marburg.de
Restoring consistency between different information-sharing artifacts after one of them has
been changed is an important problem that arises in several areas of computer science. In …
been changed is an important problem that arises in several areas of computer science. In …
Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars
Abstract Model synchronization, ie, the task of restoring consistency between two
interrelated models after a model change, is a challenging task. Triple graph grammars …
interrelated models after a model change, is a challenging task. Triple graph grammars …
Efficient model synchronization by automatically constructed repair processes
Abstract Model synchronization, ie, the task of restoring consistency between two
interrelated models after a model change, is a challenging task. Triple Graph Grammars …
interrelated models after a model change, is a challenging task. Triple Graph Grammars …
Local consistency restoration methods for triple graph grammars
L Fritsche - 2022 - tuprints.ulb.tu-darmstadt.de
Modern software systems are becoming increasingly complex and are created by different
stakeholders that commit to one vision. Yet, these stakeholders differ in their requirements …
stakeholders that commit to one vision. Yet, these stakeholders differ in their requirements …