Graph transformation
Hierarchical Graph Transformation
... We show that the well-known double-pushout approa h to graph transformation [5, 3℄ extends smoothly to these hierar hi al hypergraphs, by giving re ursive onstru tions for pushouts and p[r] ...
16
On a framework for domain independent heuristics in graph transformation planning
... which graph elements may be present in a current graph we can actually represent a set of graphs (and thus states) by a single abstract ...abstract graph transformation rules al- lows us to ...
97
Nested quantification in graph transformation rules
... introduce graph variables. During the matching phase, these graph variables are expanded to a concrete subgraph based on the surrounding ...a graph transformation system, the matching of such ...
62
Incremental Construction of Millstream Configurations Using Graph Transformation
... A configuration in a Millstream system is a tuple of ranked and ordered trees (in our restricted case, a pair consisting of the syntactic and the semantic rep- resentation of a sentence) with links between them. The ...
5
Graph Transformation in a Nutshell
... It is a matter of philosophical debate if generalisations exist in reality or if, e.g., the concept of car as generalisation of individual cars is part of the human perception of the world. Avoiding this discission, we ...
12
A linguistically motivated 2 stage Tree to Graph Transformation
... The main novelty is the possibility for the first stage rules to decorate the target edges with con- straints. During the second stage, the constraints are essentially used to displace edges in the tar- get graph, ...
9
Type inference for graph transformation systems
... typed graph grammars by identifying what properties make some type graphs better type graphs than others for a given set of ...type graph for a certain set of ...at graph grammars; we identified the ...
94
Volume 30: Graph and Model Transformation 2010
... distinct transformation approaches have emerged for model-to-model and model-to-text ...that transformation results, being texts in this case, are computed on the basis of abstract syntax ...model-to-model ...
11
Volume 30: Graph and Model Transformation 2010
... ”Graph Transformation” seems to be a good starting point for this programme: (1) Graphs and graph-like structures pro- vide a good formal model for almost all software structures ...based ...
7
Volume 30: Graph and Model Transformation 2010
... Acknowledgments We are grateful to the unknown referees for various helpful comments. The first author wants to thank Hartmut Ehrig for the long lasting cooperation and friendship. Hans-J¨org (being a Math student at the ...
25
Volume 30: Graph and Model Transformation 2010
... and transformation systems had been developed in the past mainly from the language and the process specification point of view [Roz97], but data types had to be handled separately by algebraic specification ...
7
Volume 30: Graph and Model Transformation 2010
... typed graph transformations, on which we defined our notion of rule ...attributed graph transformations with node type inheritance, therefore allowing for the formulation of abstract graph ...
19
Volume 4: Graph and Model Transformation 2006
... Views/ Transformation (QVT) is the OMG’s standard for specifying model queries, views, and ...of graph transformation provides a strong formal background for model ...model transformation. As ...
13
Volume 4: Graph and Model Transformation 2006
... The DPO approach has been largely used for graph transformation systems (GTS) allowing the study of notions like confluence, sequential or parallel independence, etc. and supporting several extensions, e.g. ...
14
Volume 4: Graph and Model Transformation 2006
... Abstract: Modeling the computational platforms is necessary to analyze the exe- cution characteristics of systems developed using a model-based approach. In this paper, we introduce a novel platform modeling language: ...
14
Volume 4: Graph and Model Transformation 2006
... also graph transformation, putting model transformation on a formal ...The transformation is defined by rules, which are defined by pure mathematical constructs, but using a very intuitive ...
15
Volume 4: Graph and Model Transformation 2006
... existing graph transformation tools, the im- plementation of their pattern matching engine typically follows the same ...the graph transformation rule is searched by some graph pattern ...
16
Volume 4: Graph and Model Transformation 2006
... host graph if an appropriate node is used in the left-hand side of the transformation, and no adequate reference node is locally available, although an according remote node ...remote graph ...
14
Volume 4: Graph and Model Transformation 2006
... the transformation of graphs plays a similar central role as term rewriting in the traditional case of textual ...of graph transformation provides a rule-based setting to express the semantics of ...
15
Volume 4: Graph and Model Transformation 2006
... The graph transformation that will generate the Variant 2 Statechart will re- place the events for en(S) and ex(S) when necessary, but will not handle the condition ...the graph transformation ...
15