Vol. 29 (2010): Graph Transformation and Visual Modeling Techniques 2010

DOI: https://doi.org/10.14279/tuj.eceasst.29

Published: 2010-08-09

Articles

Verification of Model Transformations

Bernhard Schätz
- PDF
De-/Re-constructing Model Transformation Languages

Eugene Syriani, Hans Vangheluwe
- PDF
A lightweight abstract machine for interaction nets

Abubakar Hassan, Ian Mackie, Shinya Sato
- PDF
Recognizable Graph Languages for Checking Invariants

Christoph Blume, Sander Bruggink, Barbara König
- PDF
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories

Wolfram Kahl
- PDF
On A Graph Formalism for Ordered Edges

Maarten Mol, Arend Rensink
- PDF
Stochastic Graph Transformation with Regions

Paolo Torrini, Reiko Heckel, Istvan Rath, Gabor Bergmann
- PDF
Preserving constraints in horizontal model transformations

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
- PDF
Graph Algebras for Bigraphs

Davide Grohmann, Marino Miculan
- PDF
Decidable Race Condition and Open Coregions in HMSC

Vojtech Rehak, Petr Slovak, Jan Strejcek, Loic Helouet
- PDF
Defining Models - Meta Models versus Graph Grammars

Berthold Hoffmann, Mark Minas
- PDF
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets

Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
- PDF
Specifying and Generating Editing Environments for Interactive Animated Visual Models

Torsten Strobl, Mark Minas
- PDF

Preface

Preface

Jochen Küster, Emilio Tuosto
- PDF