Vol. 10 (2008): Graph Transformation and Visual Modeling Techniques 2008

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

Published: 2008-07-15

Preface

Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)

Claudia Ermel, Juan de Lara, Reiko Heckel
- PDF

Articles

Graph Transformations for the Resource Description Framework

Benjamin Braatz, Christoph Brandt
- PDF
Visual Design and Reasoning with the Use of Hypergraph Transformations

Ewa Grabska, Grażyna Ślusarczyk, Truong Le
- PDF
Dynamic Software Architectures Verification using DynAlloy

Antonio Bucchiarone, Juan P. Galeotti
- PDF
Composing control flow and formula rules for computing on grids

Paolo Bottoni, Nikolay Mirenkov, Yutaka Watanobe, Rentaro Yoshioka
- PDF
Using Graph Transformation Systems to Specify and Verify Data Abstractions

Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
- PDF
A Static Layout Algorithm for DiaMeta

Sonja Maier, Mark Minas
- PDF
Extending Graph Query Languages by Reduction

Erhard Weinell
- PDF
Type Checking C++ Template Instantiation by Graph Programs

Karl Azab, Karl-Heinz Pennemann
- PDF
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences

Leen Lambers, Hartmut Ehrig, Gabriele Taentzer
- PDF
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars

Hartmut Ehrig, Karsten Ehrig, Frank Hermann
- PDF
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets

Enrico Biermann, Tony Modica
- PDF
Controlling resource access in Directed Bigraphs

Davide Grohmann, Marino Miculan
- PDF
Graph Transformation Model of a Triangulated Network of Mobile Units

Stefan Gruner
- PDF
Reconfiguration of Reo Connectors Triggered by Dataflow

Christian Koehler, David Costa, Jose Proenca, Farhad Arbab
- PDF
On a Graph-Based Semantics for UML Class and Object Diagrams

Arend Rensink, Anneke Kleppe
- PDF
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators

Steffen Mazanek, Mark Minas
- PDF
Foundations of Modelling and Simulation of Complex Systems

Hans Vangheluwe
- PDF
Improving Live Sequence Chart to Automata Transformation for Verification

Rahul Kumar, Eric Mercer
- PDF
A Graph-Based Type Representation for Objects

Cong-Cong Xing
- PDF
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars

Florian Brieler, Mark Minas
- PDF
Verifying Model Transformations by Structural Correspondence

Anantha Narayanan, Gabor Karsai
- PDF
The GP Programming System

Greg Manning, Detlef Plump
- PDF
Interaction nets: programming language design and implementation

Abubakar Hassan, Ian Mackie, Shinya Sato
- PDF
Negative Application Conditions for Reconfigurable Place/Transition Systems

Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
- PDF