ECEASST 2006 | Sciweavers

12

ECEASST
2006

95views more ECEASST 2006»

Towards Translating Graph Transformation Approaches by Model Transformations

13 years 4 months ago

Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...

Frank Hermann, Harmen Kastenberg, Tony Modica

claim paper

Read More »

8

click to vote

ECEASST
2006

96views more ECEASST 2006»

Optimizing Pattern Matching Compilation by Program Transformation

13 years 4 months ago

Download hal.inria.fr

Motivated by the promotion of rewriting techniques and their use in major industrial applications, we have designed Tom: a pattern matching layer on top of conventional programming...

Emilie Balland, Pierre-Etienne Moreau

claim paper

Read More »

18

click to vote

ECEASST
2006

154views more ECEASST 2006»

EMF Model Refactoring based on Graph Transformation Concepts

13 years 4 months ago

Download www.mathematik.uni-marburg.de

Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...

Enrico Biermann, Karsten Ehrig, Christian Köh...

claim paper

Read More »

8

click to vote

ECEASST
2006

75views more ECEASST 2006»

Event Structure Semantics for Dynamic Graph Grammars

13 years 4 months ago

Download www.di.unipi.it

Roberto Bruni, Hernán C. Melgratti, Ugo Mon...

claim paper

Read More »

22

click to vote

ECEASST
2006

103views more ECEASST 2006»

Petri Nets and Matrix Graph Grammars: Reachability

13 years 4 months ago

Download www.dsi.unive.it

This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...

Juan de Lara, Pedro Pablo Pérez Velasco

claim paper

Read More »

10

click to vote

ECEASST
2006

48views more ECEASST 2006»

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

13 years 4 months ago

Download www.dsi.unive.it

Szilvia Varró-Gyapay, Dániel Varr&oa...

claim paper

Read More »

9

click to vote

ECEASST
2006

54views more ECEASST 2006»

Reversing graph transformations

13 years 4 months ago

Download users.ecs.soton.ac.uk

Pawel Sobocinski

claim paper

Read More »

16

click to vote

ECEASST
2006

123views more ECEASST 2006»

Algebraic High-Level Nets as Weak Adhesive HLR Categories

13 years 4 months ago

Download www.dsi.unive.it

Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...

Ulrike Prange

claim paper

Read More »

7

click to vote

ECEASST
2006

61views more ECEASST 2006»

A basic tool for the modeling of Marked-Controlled Reconfigurable Petri Nets

13 years 4 months ago

Download www.dsi.unive.it

Marisa Llorens, Javier Oliver

claim paper