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