Sciweavers

755 search results - page 4 / 151
» Graph Transformation for Topology Modelling
Sort
View
TAGT
1998
Springer
184views Graph Theory» more  TAGT 1998»
13 years 11 months ago
A Framework for Adding Packages to Graph Transformation Approaches
Graphs are a commonly used formalism for modeling many different kinds of static and dynamic data. In many applications, data modeling can be improved by using hierarchically struc...
Giorgio Busatto, Gregor Engels, Katharina Mehner, ...
ENTCS
2008
98views more  ENTCS 2008»
13 years 7 months ago
Graph Transformation Semantics for a QVT Language
It has been claimed by many in the graph transformation community that model transformation, as understood in the context of Model Driven Architecture, can be seen as an applicati...
Arend Rensink, Ronald Nederpel
ENTCS
2006
151views more  ENTCS 2006»
13 years 7 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
ICMT
2009
Springer
14 years 2 months ago
A Collection Operator for Graph Transformation
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
Roy Grønmo, Stein Krogdahl, Birger Mø...
JAC
2008
13 years 9 months ago
Neighborhood transformations on graph automata
Abstract. We consider simulations of graph automata. We introduce two local transformations on the neighborhood: splitting and merging. We explain how to use such transformations, ...
Bruno Martin, Christophe Papazian