Journal: Electronic Notes in Theoretical Computer Science

Volume 44, Issue 4

1 -- 15. GRACE as a unifying approach to graph-transformation-based specification
16 -- 27Francesco Parisi-Presicce. On Modifying High Level Replacement Systems
28 -- 40Gabriele Taentzer. Towards Common Exchange Formats for Graphs and Graph Transformation Systems
41 -- 51Reiko Heckel, Albert Zündorf. How to Specify a Graph Transformation Approach - A Meta Model for Fujaba
52 -- 66Claudia Ermel, Roswitha Bardohl, Julia Padberg. Visual Design of Software Architecture and Evolution based on Graph Transformation
67 -- 79Mark Minas, Berthold Hoffmann. Specifying and Implementing Visual Process Modeling Languages with DiaGen
80 -- 92Martin Große-Rhode. Formal Concepts for an Integrated Internal Model of the UML
93 -- 106Andy Schürr. Adding Graph Transformation Concepts to UML s Constraint Language OCL
107 -- 119Luciano Baresi, Mauro Pezzè. Improving UML with Petri nets
120 -- 139Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber. The Petri Net Baukasten - Second Installment
140 -- 162Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
163 -- 187Jörg Desel, Gabriel Juhás, Robert Lorenz. Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra
188 -- 189Hartmut Ehrig, Claudia Ermel, Julia Padberg. Preface