2. International Workshop on Graph and Model Transformation
(GraMoT)
Brighton, United Kingdom
September 8 , 2006
Programme and Papers
9.00: Welcome and introductions
9.00
- 11.00: Session 1: Relation between model transformation languages
Session
Chair: Gabor Karsai
L. Lengyel, T. Levendovsky, H. Charaf:
Realizing QVT with Graph Rewriting-Based Model Transformation
G. Mezei, T. Levendovsky, H. Charaf:
A Model
Transformation for Automated Concrete Syntax Definitions of Metamodeled
Visual Languages
T. Szemethy, G. Karsai:
PML: A Transformation Language for Platform Modeling
H. Kastenberg, F. Hermann, T. Modica:
Towards Translating Graph Transformation Systems by Model Transformations
11.00- 11.30: Morning tea
11.30 - 12.30: Session 2:
Syntax checking
Session Chair: Andy Schürr
M. Minas:
Parsing of Adaptive Star Grammars
E. Willink:
Model Instantiation and Type Checking in UMLX
12.30 - 14.00: Lunch
14.00 - 15.00: Session 3: Execution of graph transformation / model
transformation
Session Chair: Mark Minas
G. Varro, D. Varro, A. Schürr:
Incremental Graph Pattern Matching: Data Structures and Initial Experiments
U. Ranger, M. Lüstraeten:
Search Trees for Distriibuted Graph Transformation Systems
15.00 - 15.30: Afternoon Tea
15.30 - 17.30: Session 4: Semantics of model transformations
Session Chair: Gabriele Taentzer
C. Ermel, H. Ehrig, K. Ehrig:
Semantical Correctness of Simulation-to-Animation Model and Rule
Transformation
A. Narayanan, G. Karsai:
Using Semantic Anchoring to Verify Behavior Preservation in Graph
Transformations
K. Hoffmann P. Bottoni, F.Parisi-Presicce:
Termination of Algebraic Rewriting with Inhibitors
17.30: Wrap-up