Hanna Schölzel

  • Citations Per Year
Learn More
Model transformations based on triple graph grammars (TGGs) have been applied in several practical case studies and they convince by their intuitive and descriptive way of specifying bidirectional model transformations. Moreover, fundamental properties have been extensively studied including syntactical correctness, completeness, termination and functional(More)
The aim of concurrent model synchronization is to merge pairs of updates on interrelated models. For instance, this situation may occur in the context of model driven software development when the work is distributed between different teams. A first problem is that, if the updates are in conflict, this conflict is never explicit. The reason is that the(More)
In this technical report we study the transformation of models in the context of algebraic graph transformation and triple graph grammars. The new contribution of the report is to define and analyze the transformation of model fragments in general and the propagtion of graph constraints in particular. With the borrowed context we developed a technique(More)
Application conditions for rules and constraints for graphs are well-known in the theory of graph transformation and have been extended already toM-adhesive transformation systems. According to the literature we distinguish between two kinds of satisfaction for constraints, called general and initial satisfaction of constraints, where initial satisfaction(More)
  • 1