71 search results - page 9 / 15 » Graph Transformation Semantics for a QVT Language |
GG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Graph programs as introduced by Habel and Plump [8] provide a simple yet computationally complete language for computing functions and relations on graphs. We extend this...
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
106
Voted
LOPSTR
2007
Springer
15 years 5 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
115
click to vote
ICEIS
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...
108
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...