APPLIGRAPH Workshop on Applied Graph Transformation - AGT 2002

Grenoble, France, April 12 - 13, 2002

ETAPS 2002 Satellite Event    http://www-etaps.imag.fr

Preliminary Schedule

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