|
|
Session chair: Gabriele Taentzer (TU Berlin, Germany) |
9:30 | Graph Changes are Everywhere or The Role of Graph Transformations in Software Engineering Invited talk by Gregor Engels, University of Paderborn, Germany |
|
10:30 |
Coffee |
Session 1: Applications to Visual Languages |
Session chair: Hans-Jörg Kreowski (University of Bremen, Germany) |
11:00 | Designing the Automatic Transformation of Visual Languages Dániel Varró, Gergely Varró, András Pataricza (TU Budapest, Hungary) |
11:30 | Towards Visual Specification and Animation of Petri Net Based Models Roswitha Bardohl, Claudia Ermel (TU Berlin, Germany), Leila Ribeiro (UFRGS, Brazil) |
12:00 | Generating Diagram Editors Providing Free-Hand Editing as well as Syntax-Directed Editing Oliver Köth, Mark Minas (University of Erlangen-Nürnberg, Germany) |
|
12:30 |
Lunch |
Session 2: Structuring and Typing Concepts |
|
15:30 |
Coffee |
Session 3: Applications to Information Systems and Engineering |
|
19:30 |
GRATRA 2000 Dinner Funkturm-Restaurant |
|
Session 4: Hyper Graph and Term Graph Rewriting |
Session chair: Rinus Plasmeijer (Katholieke Universiteit Nijmegen, The Netherlands) |
9:00 | Hypergraph Construction and its Application to the Compositional Modelling of Concurrency Barbara König (TU München, Germany) |
9:30 | Stratified Term Graphs Wolfram Kahl (Univ. der Bundeswehr München, Germany) |
10:00 | On Collapsing Narrowing Rachid Echahed, Jean-Christophe Janodet (IMAG, CNRS, Grenoble, France) |
|
10:30 |
Coffee |
Session 5: Theory and Practice of Software |
Session chair: Ugo Montanari (Univerity of Pisa, Italy) |
11:00 | A Graph Transformation Approach to Software Architecture Reconfiguration Michael Wermelinger (Univ. Nova de Lisboa, Portugal), José Luiz Fiadeiro (University of Lisbon, Portugal) |
11:30 | ETAPS Paper Announcements:
- Foundation for Software Configuration Management Policies using Graph Transformations
Francesco Parisi-Presicce (University of Rome "La Sapienza", Italy), Andreas Wolf (University of Colorado at Boulder, USA)
- View-Point Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation
Michael Goedicke, Torsten Meyer, Bettina Enders (University of Essen, Germany), Gabriele Taentzer (University of Rome "La Sapienza", Italy)
- Tool-based Specification of Visual Languages and Graphical Editors
Magnus Niemann, Roswitha Bardohl (TU Berlin, Germany)
- Hierarchical Graph Transformation
Frank Drewes, Berthold Hoffmann, Detlef Plump (University of Bremen, Germany)
- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
Julia Padberg, Kathrin Hoffmann, Magdalena Gajewsky (TU Berlin, Germany)
|
|
12:30 |
Lunch |
14:00 | Panel Discussion: Theory and Practice of Graph Transformation: From Historical Roots to Visions in the new Millennium Chair: Hartmut Ehrig (TU Berlin, Germany)
Participants: H.-J. Schneider (Univ. Erlangen), G. Rozenberg (Rijksuniv. Leiden), H.-J. Kreowski (Univ. Bremen), A. Schürr (Univ. der Bundeswehr München),
A. Corradini (Univ. Pisa), G. Taentzer (TU Berlin)
|
|
15:30 |
Coffee |
Session 6: Double Pullback and Pushout Approaches |
Session chair: Detlef Plump (University of Bremen, Germany) |
16:00 | Concurrency of Double-Pullback Transitions Reiko Heckel (University of Paderborn, Germany), Mercè Llabrés (University of Pisa, Italy), Hartmut Ehrig (TU Berlin, Germany), Fernando Orejas (TU Catalonia, Spain) |
16:30 | Graph Transformation via Abstract Diagrams Richard Banach (Manchester Univ., U.K.), Andrea Corradini (Univ. Pisa, Italy) |
17:00 | Pushout Complements for Arbitrary Total Algebras Peter Burmeister (TU Darmstadt, Germany), Mercè Llabrés (University of Pisa, Italy), Francesc Rosselló (Univ. de les Illes Balears, Spain) |
17:30 | Attributed Graph Transformation with Partial Attribution and its Application to Neural Networks Michael R. Berthold (UC Berkeley, USA), Ingrid Fischer (University of Erlangen-Nürnberg, Germany), Manuel Koch (University of Rome "La Sapienza", Italy) |
|
20:00 | GETGRATS/APPLIGRAPH Teamleader Meeting |
20:00
|
GRATRA Tool Demonstrations Open for all ETAPS Participants
|
Series A (Applications) |
1. HOPS 2. FSE 3. HyperView 4. ViewPoints 5. SLIM |
Series B (Basics) |
1. AGG 2. GenGEd 3. DiaGen 4. TreeBag 5. PROGRES |
|
Session 7: Graph Patterns and Graph Decomposition |
|
12:30 |
Lunch |
Session 8: Hyper Graph Rewriting |
Session chair: Michel Bauderon (University of Bordeaux 1, France) |
14:00 | VR and HR Graph Grammars: A Common Algebraic Framework Compatible with Monadic Second Order Logic Bruno Courcelle (University of Bordeaux 1, France), Johann .A. Makowsky (Technion Haifa, Israel) |
14:30 | Higher-Order Hyperedge Replacement Systems and their Transformations Dan Hirsch (University of Buenos Aires, Argentina), Ugo Montanari (University of Pisa, Italy) |
15:00 | Normal Forms for Context-free Node-rewriting Hypergraph Grammars Renate Klempien-Hinrichs (University of Bremen, Germany) |
|
15:30 |
Coffee |
Session 9: Concurrency and Distribution |
Session chair: Andrea Corradini (University of Pisa, Italy) |
16:00 | Algebraic Properties of LAS Processes Nico Verlinden, Dirk Janssens (U.I.A., Antwerp, Belgium) |
16:30 | An effective Equivalence for Sets of Scenarios represented by HMSCs Loïc Hélouët, Claude Jard, Benoît Caillaud (CNRS/INRIA, IRISA, France) |
17:00 | Single Pushout Approach to Distributed Graph Transformation Manuel Koch (University of Rome ``La Sapienza'', Italy) |
17:30 | Polymorphic Types for Interaction Nets Lionel Khalil (L.I.E.N.S., Paris, France) |
|
18:00 |
Coffee |
18:30
GRATRA invited
|
Session chair: Hartmut Ehrig (TU Berlin, Germany)
Grzegorz Rozenberg (Universiteit Leiden, Netherlands) DNA Computing in Vivo and Graph Transformation |
|