Journal: Electronic Notes in Theoretical Computer Science

Volume 127, Issue 5

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

Volume 127, Issue 4

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

Volume 127, Issue 3

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

Volume 127, Issue 2

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

Volume 127, Issue 1

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