Volume 29: Graph Transformation and Visual Modeling Techniques 2010

DOI: http://dx.doi.org/10.14279/tuj.eceasst.29

Table of Contents

Preface

Preface
Jochen M. Küster, Emilio Tuosto
PDF

Articles

De-/Re-constructing Model Transformation Languages
Eugene Syriani, Hans Vangheluwe
PDF
Preserving constraints in horizontal model transformations
Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce
PDF
Specifying and Generating Editing Environments for Interactive Animated Visual Models
Torsten Strobl, Mark Minas
PDF
On A Graph Formalism for Ordered Edges
Maarten de Mol, Arend Rensink
PDF
Defining Models - Meta Models versus Graph Grammars
Berthold Hoffmann, Mark Minas
PDF
Recognizable Graph Languages for Checking Invariants
Christoph Blume, Sander Bruggink, Barbara König
PDF
Decidable Race Condition and Open Coregions in HMSC
Vojtech Rehak, Petr Slovak, Jan Strejcek, Loic Helouet
PDF
A lightweight abstract machine for interaction nets
Abubakar Hassan, Ian Mackie, Shinya Sato
PDF
Graph Algebras for Bigraphs
Davide Grohmann, Marino Miculan
PDF
Verification of Model Transformations
Bernhard Schätz
PDF
Stochastic Graph Transformation with Regions
Paolo Torrini, Reiko Heckel, Istvan Rath, Gabor Bergmann
PDF
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets
Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
PDF
Co-tabulations, Bicolimits and Van-Kampen Squares in Collagories
Wolfram Kahl
PDF