96
Voted
GG
2008
Springer
15 years 1 months 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 ...
94
Voted
GG
2008
Springer
15 years 1 months 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...
88
Voted
GG
2008
Springer
15 years 1 months 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...
107
Voted
GG
2008
Springer
15 years 1 months 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...
62
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
124
Voted
GG
2008
Springer
15 years 1 months 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...
66
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
91
Voted
GG
2008
Springer
15 years 1 months 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...
GG
2008
Springer
15 years 1 months ago
2008
Springer
77
Voted
GG
2008
Springer
15 years 1 months ago
2008
Springer
In this paper we give a category-based characterization of recognizability. A recognizable subset of arrows is defined via a functor into the category of relations on sets, which ...