Electronic Notes in Theoretical Computer Science, Volume 127

Volume 127, Number 2, March 2005

• 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

• 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

• 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

• 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