GG
2008
Springer
14 years 19 days ago
2008
Springer
This event is the second instance of the contest for graph transformation-based tools, which was first held as part of the AGTIVE workshop. The aim is to stimulate tool developmen...
GG
2008
Springer
14 years 19 days ago
2008
Springer
GG
2008
Springer
14 years 19 days ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
GG
2008
Springer
14 years 19 days ago
2008
Springer
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
GG
2008
Springer
14 years 19 days ago
2008
Springer
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
GG
2008
Springer
14 years 19 days ago
2008
Springer
We present a graphical implementation for finite processes of the mobile ambients calculus. Our encoding uses unstructured (i.e., non hierarchical) graphs and it is sound and comp...
GG
2008
Springer
14 years 19 days ago
2008
Springer
GG
2008
Springer
14 years 19 days ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
GG
2008
Springer
14 years 19 days ago
2008
Springer
GG
2008
Springer
14 years 19 days ago
2008
Springer
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...