Vol. 16 (2009): International Conference on Graph Transformation 2008 - Doctoral Symposium

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

Published: 2009-07-20

Articles

Migrating Legacy Systems to Service-Oriented Architectures

Carlos Matos, Reiko Heckel
- PDF
Permutation Equivalence of DPO Derivations with Negative Application Conditions based on Subobject Transformation Systems

Frank Hermann
- PDF
Deriving Barbed Bisimulations for Bigraphical Reactive Systems

Davide Grohmann, Marino Miculan
- PDF
Verification of Architectural Refactorings: Rule Extraction and Tool Support

Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
- PDF
Using a Triple Graph Grammar for State Machine Implementations

Michael Striewe, Michael Goedicke
- PDF
Model-based Simulation of VoIP Network Reconfigurations using Graph Transformation Systems

Ajab Khan, Paolo Torrini, Reiko Heckel
- PDF
Modelling Clustering of Wireless Sensor Networks with Synchronised Hyperedge Replacement

Mohammad Hammoudeh, Robert Newman, Sarah Mount
- PDF
From Hyperedge Replacement to Separation Logic and Back

Mike Dodds, Detlef Plump
- PDF

Preface

Preface

Andrea Corradini, Emilio Tuosto
- PDF