Volume 127, Number 1, March 2005

• 
  Tom Mens, Andy Schürr, Gabriele Taentzer: Preface. 1
• 
  Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos: An Environment for the Development of Concurrent Object-Based Applications. 3-13
• 
  Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas: Rule-Based Programming with Diaplan. 15-26
• 
  Hans-Georg Fill: UML Statechart Diagrams on the ADONIS Metamodeling Platform. 27-36
• 
  Leif Geiger, Albert Zündorf: Statechart Modeling with Fujaba. 37-49
• 
  Leen Lambers: A New Version of GTXL : An Exchange Format for Graph Transformation Systems. 51-63
• 
  Tihamer Levendovszky, László Lengyel, Gergely Mezei, Hassan Charaf: A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. 65-75
• 
  Siegfried Nijssen, Joost N. Kok: The Gaston Tool for Frequent Subgraph Mining. 77-87
• 
  Ulrich Norbisrath, Priit Salumaa, Erhard Schultchen, Bodo Kraft: Fujaba-Based Tool Development for eHome Systems. 89-99
• 
  Francesco Parisi-Presicce, Yujie Zhao: Policy Analysis and Verification by Graph Transformation Tools. 101-112
• 
  Ulrik Brandes, Jürgen Lerner, Christian Pich: GXL to GraphML and Vice Versa with XSLT. 113-125
• 
  Arend Rensink: Time and Space Issues in the Generation of Graph Transition Systems. 127-139
• 
  Janusz Szuba: New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD. 141-156
• 
  Francesc Rosselló, Gabriel Valiente: Chemical Graphs, Chemical Reaction Graphs, and Chemical Graph Transformation. 157-166
• 
  Gergely Varró, Katalin Friedl, Dániel Varró: Graph Transformation in Relational Databases. 167-180
• 
  Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai: Reusable Idioms and Patterns in Graph Transformation Languages. 181-192

Volume 127, Number 2, March 2005

Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004)

• 
  Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg: Preface. 1-3
• 
  Paolo Baldan, Andrea Corradini, Ugo Montanari: Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs. 5-28
• 
  Luciano Baresi, Mauro Pezzè: Petri Nets as Semantic Domain for Diagram Notations. 29-44
• 
  Daniele Codetta Raiteri: The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation. 45-60
• 
  Claudia Ermel, Karsten Ehrig: View Transformation in Visual Environments applied to Algebraic High-Level Nets. 61-86
• 
  Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce: Higher-Order Nets for Mobile Policies. 87-105
• 
  Vladimiro Sassone, Pawel Sobocinski: A Congruence for Petri Nets. 107-120

Volume 127, Number 3, April 2005

Proceedings of the Workshop on Software Evolution through Transformations: Model-based vs. Implementation-level Solutions (SETra 2004)

• 
  Reiko Heckel, Tom Mens: Preface. 1-3
• 
  Hans Schippers, Pieter Van Gorp, Dirk Janssens: Leveraging UML Profiles to Generate Plugins From Visual Model Transformations. 5-16
• 
  Edward D. Willink, Philip J. Harris: The Side Transformation Pattern: Making Transforms Modular and Re-usable. 17-29
• 
  Artur Boronat, José A. Carsí, Isidro Ramos: An Algebraic Baseline for Automatic Transformations in MDA. 31-47
• 
  Ralf Lämmel: Evolution of Language Interpreters. 49-54
• 
  Robert Hirschfeld, Ralf Lämmel: Reflective Designs -- An Overview. 55-58
• 
  Jean-Marie Favre, Tam Nguyen: Towards a Megamodel to Model Software Evolution Through Transformations. 59-74
• 
  Stéphane Ducasse, Tudor Gîrba, Jean-Marie Favre: Modeling Software Evolution by Treating History as a First Class Entity. 75-86
• 
  Giuliano Antoniol, Massimiliano Di Penta, Harald Gall, Martin Pinzger: Towards the Integration of Versioning Systems, Bug Reports and Source Code Meta-Models. 87-99
• 
  Reiko Heckel, Sebastian Thöne: Behavioral Refinement of Graph Transformation-Based Models. 101-111
• 
  Tom Mens, Gabriele Taentzer, Olga Runge: Detecting Structural Refactoring Conflicts Using Critical Pair Analysis. 113-128
• 
  Mehdi Jazayeri, Johann Oberleitner: Predicting Incompatibility of Transformations in Model-driven Development. 129-137
• 
  Piotr Kosiuczenko: Proof Transformation via Interpretation Functions: Results, Problems and Applications. 139-145
• 
  Tom Mens, Amnon H. Eden: On the Evolution Complexity of Design Patterns. 147-163
• 
  Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin: Evolution Through Architectural Reconciliation. 165-181
• 
  Martin Pinzger, Harald Gall, Michael Fischer: Towards an Integrated View on Architecture and its Evolution. 183-196
• 
  Yves Vandewoude, Yolande Berbers: Fresco: Flexible and Reliable Evolution System for Components. 197-205
• 
  Anthony Savidis: Dynamic Software Assembly for Automatic Deployment-oriented Adaptation. 207-211

Volume 127, Number 4, April 2005

Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004)

• 
  Mark Minas: Preface. 1-2
• 
  Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente: UML Automatic Verification Tool with Formal Methods. 3-16
• 
  Paul Ziemann, Karsten Hölscher, Martin Gogolla: From UML Models to Graph Transformation Systems. 17-33
• 
  Harald Störrle: Semantics and Verification of Data Flow in UML 2.0 Activities. 35-52
• 
  Andrew Fish, Jean Flower: Investigating Reasoning with Constraint Diagrams. 53-69
• 
  Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer: Termination of High-Level Replacement Units with Application to Model Transformation. 71-86
• 
  Michael Ebert, Georg Struth: Diagram Chase in Relational System Development. 87-105
• 
  Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese: Towards Syntax-Aware Editors for Visual Languages. 107-125
• 
  Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer: Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. 127-143
• 
  Juan de Lara: Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. 145-162

Volume 127, Number 5, May 2005

Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004)

• 
  Maribel Fernández: Preface. 1-2
• 
  Pietro Cenciarelli, Alessandro Tiberi: Rational Unification in 28 Characters. 3-20
• 
  Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner: A Rewriting Calculus for Cyclic Higher-order Term Graphs. 21-41
• 
  Andrea Corradini, Fabio Gadducci: On Term Graphs as an Adhesive Category. 43-56
• 
  Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang: Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. 57-82
• 
  Fabien Fleutot: Encoding an Object Calculus into Interaction Nets. 83-111
• 
  Stefano Guerrini: Sharing Implementations of Graph Rewriting Systems. 113-132
• 
  Ian Mackie: Towards a Programming Language for Interaction Nets. 133-151
• 
  François-Régis Sinot, Ian Mackie: Macros for Interaction Nets: A Conservative Extension of Interaction Nets. 153-169
• 
  Steffen van Bakel, Jayshan Raghunandan: Implementing X. 171-195