R
A
T
R
A
| 9:15 | Workshop Opening Hartmut Ehrig (TU Berlin, Germany) |
| 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 |
R
A
T
R
A
| 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) |
R
A
T
R
A
| Session chair: Francesco Parisi-Presicce (University of Rome, Italy) | |
| 14:00 | Approach-independent Structuring Concepts for Rule-based Systems
Hans-Jörg Kreowski, Sabine Kuske (University of Bremen, Germany) |
| 14:30 | Meta-Typing is compatible to the typed SPO Approach Stefan Gruner (TU Berlin, Germany) |
| 15:00 | Patterns on Graphs Paolo Bottoni, Francesco Parisi-Presicce (University of Rome ``La Sapienza'', Italy) |
M
C
S
| Session chair: H. Peter Gumm (Marburg University, Germany) | |
| 14:00 | Observation systems Luís Monteiro (University of Lisbon, Portugal) |
| 14:30 | Coalgebras for binary methods Hendrik Tews (TU Dresden, Germany) |
| 15:00 | Coinduction for recursive data types, partial order and metric spaces James Worrell (Oxford University, UK) |
R
A
T
R
A
| Session chair: Manfred Nagl (RWTH Aachen, Germany) | |
| 16:00 | Building Virtual Web Sites based on Graph Transformation Lukas C. Faulstich (FU Berlin, Germany) |
| 16:30 | Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars Aliki Tsiolakis, Hartmut Ehrig (TU Berlin, Germany) |
| 17:00 | Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specification to Object-Oriented Design Ralph Depke, Reiko Heckel, Jochen Malte Küster (University of Paderborn, Germany) |
| 17:30 | Constructs for Programming with Graph Rewrites Peter Rodgers (University of Kent, UK) |
M
C
S
| Session chair: H. Peter Gumm (Marburg University, Germany) | |
| 16:00 | Coalgebras and Modal Logic Martin Rößiger (TU Dresden, Germany) |
| 16:30 | Distributivity for endofunctors, pointed and co-pointed endofunctors, monads, and comonads Marina Lenisa (University of Udine, Italy), John Power (Edinburgh University, UK), Hiroshi Watanabe (Electrotecnical Laboratory, Amagasaki, Japan) |
Andrea Zisman, Anthony Finkelstein (University College London)
The tutorial introduces XML to Software Engineers by presenting the main features of XML and focuses on its use in Software Engineering applications. The tutorial reflects the development of a new technology and our understanding of the importance of this technology for Software Engineers in general.
Narciso Martí Oliet (Universidad Complutense, Madrid), José Meseguer (SRI International)
The scope and objectives of the tutorial will center on giving the participants a gentle introduction to the main features and concepts of Maude, illustrating those concepts with well-chosen examples. The emphasis will be on becoming familiar with the language an its use, so that it will be then easy for a tutorial participant to begin using Maude on his/her own. The background assumed will be a vague familiarity with declarative programming ideas; some acquaintance with algebraic specifications will be helpful, but not necessary. The presentation style will introduce concepts by example, and will not assume familiarity with the underlying theoretical ideas.Further detailed information: http://maude.csl.sri.com/
