Friday, April 12, 2002 |
14.15 - 16.15 Opening and first session on
OCL, UML, and AToM |
P. Bottoni, M. Koch, F, Parisi-Presicce, and G. Taentzer | Employing graph transformation for OCL |
R. Heckel, J. Küster, and G. Taentzer | Towards Automatic Translation of UML Models into Semantic Domains |
E. Posse, J. de Lara, and H. Vangheluwe | Processing Causal Block Diagrams with Graph-Grammars in AToM |
16.15 - 16.45 coffee break |
16.45 - 18.15 second session on distribution and a tool
demonstration |
B. Braatz, H. Ehrig, K. Hoffmann, J. Padberg, and M. Urbasek | Application of Graph Transformation Techniques to the Area of Petri Nets:
An Overview |
Y. Metivier, M. Mosbah, and A. Sellami | Proving Distributed Algorithms by Graph Relabelling Systems:
Examples of Trees in Networks with Processor Identities |
M. Faust | Graph computing environment |
Saturday, April 13, 2002 |
9.00 - 10.30 third session on various media |
R. Bardohl, K. Ehrig, C. Ermel, A. Qemali, and I. Weinhold |
Specifying Visual Languages with GenGED |
F. H. Gatzemeier, and O. Meyer | Graph technology applied to editing structured natural-language documents |
H. Jacquet, H. Rising III, and A. Tabatabai | Graph rewriting techniques and tools for MPEG-7 multimedia description schemes |
10.30 - 11.00 coffee break
|
11.00 - 12.30 fourth session on structuring and time |
F. Drewes, B. Hoffmann, and M. Minas | Constructing Shapely Nested Graph Transformations |
R. Klempien-Hinrichs, P. Knirsch, and S. Kuske | Modeling a Logistic Problem with Structured Graph Transformation |
S. Gyapay, and R. Heckel | Towards graph transformaton with time |
12.30 - 14.00 lunch |
14.00 - 15.30 fifth session on applications |
G. Busatto | Modeling hyperweb dynamics through hierarchical graph transformation |
M. Große-Rohde, S. John, and G. Schröter | Transformation Systems for the Integration of Software Specifications |
D. Varro | Automated program generation for and by model transformation systems |
15.30 - 16.00 coffee break |
16.00 - 17.00 sixth session on theory
|
Nicolas Bonichon, Bertrand Le Saec, and Mohamed Mosbah | Diagonal Flip Operations on Realizers and Their Application to Wagner's Theorem
|
A. Habel, and D. Plump | A Core Language for Graph Transformation |
17.00 - 18.00 closing session
|
20.00 workshops dinner |