| |
Saturday 31/3 |
9.30
11.00 |
Session Chair : H. Ehrig
- H.J. Kreowski, G. Busatto, S. Kuske
GRACE as a Unifying approach to Graph Transformation
Based Specification
- F. Parisi-Presicce
On Modifying High Level Replacement Systems
|
11.00
11.30 |
Coffee |
11.30
13.00 |
Session Chair : A. Corradini
- J. Meseguer, P. ÷lveczky, M.-O. Stehr
Representation and Execution of Petri Nets using
Rewriting Logic as a Unifying Framework
- J. Desel, G. Juhas, R. Lorenz
Unifying Petri Nets with Restricted Occurrence Rule
Using Partial Algebra
|
13.00
14.30 |
Lunch |
14.30
16.00 |
Session Chair : J. Fiadeiro
- J. Dehnert, M. Gajewsky, S.Lembke, H. Weber
The Petri Net Baukasten: Second Installment
- L. Baresi, M. Pezze
Improving UML with Petri Nets
|
16.00
16.30 |
Coffee |
16.30
18.00 |
Session Chair : R. Bardohl
- G. Taentzer
Towards Common Exchange Formats for Graphs and
Graph Transformation Systems
- R. Heckel, A. Z¸ndorf
How to specify a graph transformation approach:
A dynamic meta model for Fujaba
|
| |
Sunday 1/4 |
9.30
11.00 |
Session Chair : M. Pezze
- M. Grosse-Rhode
Formal Concepts for an Integrated Internal Model
of the UML
- A. Sch¸rr
Adding PROGRES Path Expression Concepts to OCL
|
11.00
11.30 |
Coffee |
11.30
13.00 |
Session Chair : J. Padberg
- C. Ermel, R. Bardohl, J. Padberg
Visual Architecture Design and Evolution based on
Graph Transformation
- M. Minas, B. Hoffmann
Specifying and Implementing Visual Process
Languages with DIAGEN
|
13.00
14.30 |
Lunch |
