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

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

Published: 2008-07-15

Articles

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
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

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

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

Articles

Verifying Model Transformations by Structural Correspondence

The GP Programming System

Interaction nets: programming language design and implementation

Negative Application Conditions for Reconfigurable Place/Transition Systems

Graph Transformations for the Resource Description Framework

Visual Design and Reasoning with the Use of Hypergraph Transformations

Dynamic Software Architectures Verification using DynAlloy

Composing control flow and formula rules for computing on grids

Using Graph Transformation Systems to Specify and Verify Data Abstractions

A Static Layout Algorithm for DiaMeta

Extending Graph Query Languages by Reduction

Type Checking C++ Template Instantiation by Graph Programs

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars

Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets

Controlling resource access in Directed Bigraphs

Graph Transformation Model of a Triangulated Network of Mobile Units

Reconfiguration of Reo Connectors Triggered by Dataflow

On a Graph-Based Semantics for UML Class and Object Diagrams

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators

Foundations of Modelling and Simulation of Complex Systems

Improving Live Sequence Chart to Automata Transformation for Verification

A Graph-Based Type Representation for Objects

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars

Preface

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

Information

DB-logos

Usage Statistics Information