Ulrike Golas
Zuse Institute Berlin
33 Papers
253 Citations
Ulrike Golas is an academic researcher from Zuse Institute Berlin. The author has contributed to research in topics: Graph rewriting & Model transformation. The author has an hindex of 16, co-authored 33 publications. Previous affiliations of Ulrike Golas include Technical University of Berlin & Humboldt University of Berlin.
Chat about Author
Papers
•Journal Article
Categorical Frameworks for Graph Transformation and HLR Systems Based on the DPO Approach
TL;DR: This paper proposes as weakest version the class of vertical weak adhesive HLR categories, shortM-adhesive categories, which are still sufficient to obtain most of the main results for graph transformation and HLR systems.
M-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
TL;DR: A new notion of critical pair is defined which allows us to formulate and prove a Local Confluence Theorem for the general case of rules with nested application conditions, and all the results are presented, which means that their results apply to most kinds of graphical structures.
62
Efficient analysis and execution of correct and complete model transformations based on triple graph grammars
Frank Hermann,Hartmut Ehrig,Ulrike Golas,Fernando Orejas +3 more
- 03 Oct 2010
TL;DR: This paper shows how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs).
57
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
TL;DR: A new category of typed attributed graphs with inheritance is introduced and the notion of abstract critical pairs is defined for the detection of conflicts between graph transformations on these graphs, which allows the analysis on polymorphic rules and transformations without the need for flattening.
36