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 | ||