Monographs in Theoretical Computer Science An EATCS Series
ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
In the late 1960s and early 1970s, the concepts of graph transformation and graph
grammars started to become of interest in picture processing and computer science. The …
grammars started to become of interest in picture processing and computer science. The …
Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach
The algebraic approaches to graph transformation are based on the concept of gluing of
graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This …
graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This …
[BUCH][B] Introduction and roadmap: History and challenges of software evolution
The ability to evolve software rapidly and reliably is a major challenge for software
engineering. In this introductory chapter we start with a historic overview of the research …
engineering. In this introductory chapter we start with a historic overview of the research …
Confluence of typed attributed graph transformation systems
The issue of confluence is of major importance for the successful application of attributed
graph transformation, such as automated translation of UML models into semantic domains …
graph transformation, such as automated translation of UML models into semantic domains …
Graph transformation for specification and programming
M Andries, G Engels, A Habel, B Hoffmann… - Science of Computer …, 1999 - Elsevier
The framework of graph transformation combines the potentials and advantages of both,
graphs and rules, to a single computational paradigm. In this paper we present some recent …
graphs and rules, to a single computational paradigm. In this paper we present some recent …
Analysing refactoring dependencies using graph transformation
Refactoring is a widely accepted technique to improve the structure of object-oriented
software. Nevertheless, existing tool support remains restricted to automatically applying …
software. Nevertheless, existing tool support remains restricted to automatically applying …
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation
In object-oriented software development, requirements of different stakeholders are often
manifested in use case models which complement the static domain model by dynamic and …
manifested in use case models which complement the static domain model by dynamic and …
Double-pushout graph transformation revisited
A Habel, J Müller, D Plump - Mathematical Structures in Computer …, 2001 - cambridge.org
In this paper we investigate and compare four variants of the double-pushout approach to
graph transformation. As well as the traditional approach with arbitrary matching and …
graph transformation. As well as the traditional approach with arbitrary matching and …
Graph and model transformation
Graphs are important structures in mathematics, computer science and several other
research and application areas. The concepts of graph transformation and graph grammars …
research and application areas. The concepts of graph transformation and graph grammars …
Detecting and resolving model inconsistencies using transformation dependency analysis
Abstract Model inconsistency management is a crucial aspect of model-driven software
engineering. It is therefore important to provide automated support for this activity. The …
engineering. It is therefore important to provide automated support for this activity. The …