Volume 10: Graph Transformation and Visual Modeling Techniques 2008

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

Table of Contents

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

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Hartmut Ehrig, Karsten Ehrig, Frank Hermann
PDF
Verifying Model Transformations by Structural Correspondence
Anantha Narayanan, Gabor Karsai
PDF
Extending Graph Query Languages by Reduction
Erhard Weinell
PDF
Improving Live Sequence Chart to Automata Transformation for Verification
Rahul Kumar, Eric G Mercer
PDF
Composing control flow and formula rules for computing on grids
Paolo Bottoni, Nikolay Mirenkov, Yutaka Watanobe, Rentaro Yoshioka
PDF
On a Graph-Based Semantics for UML Class and Object Diagrams
Arend Rensink, Anneke Kleppe
PDF
Graph Transformations for the Resource Description Framework
Benjamin Braatz, Christoph Brandt
PDF
Controlling resource access in Directed Bigraphs
Davide Grohmann, Marino Miculan
PDF
Interaction nets: programming language design and implementation
Abubakar Hassan, Ian Mackie, Shinya Sato
PDF
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Leen Lambers, Hartmut Ehrig, Gabriele Taentzer
PDF
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars
Florian Brieler, Mark Minas
PDF
A Static Layout Algorithm for DiaMeta
Sonja Maier, Mark Minas
PDF
Foundations of Modelling and Simulation of Complex Systems
Hans Vangheluwe
PDF
Dynamic Software Architectures Verification using DynAlloy
Antonio Bucchiarone, Juan P. Galeotti
PDF
Reconfiguration of Reo Connectors Triggered by Dataflow
Christian Koehler, David Costa, Jose Proenca, Farhad Arbab
PDF
Negative Application Conditions for Reconfigurable Place/Transition Systems
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
PDF
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
Enrico Biermann, Tony Modica
PDF
The GP Programming System
Greg Manning, Detlef Plump
PDF
Type Checking C++ Template Instantiation by Graph Programs
Karl Azab, Karl-Heinz Pennemann
PDF
A Graph-Based Type Representation for Objects
Cong-Cong Xing
PDF
Using Graph Transformation Systems to Specify and Verify Data Abstractions
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
PDF
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
Steffen Mazanek, Mark Minas
PDF
Visual Design and Reasoning with the Use of Hypergraph Transformations
Ewa Grabska, Grażyna Maria Ślusarczyk, Truong Lan Le
PDF
Graph Transformation Model of a Triangulated Network of Mobile Units
Stefan Gruner
PDF