Vol. 47 (2012): Graph Transformation and Visual Modeling Techniques 2012

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

Published: 2012-07-31

Preface

Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques

Andrew Fish, Leen Lambers
- PDF

Articles

Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout

Sonja Maier, Mark Minas
- PDF
Visual Contracts as Test Oracle in AGG 2.0

Tamim Khan, Olga Runge, Reiko Heckel
- PDF
Towards Alternating Automata for Graph Languages

H.J. Sander Bruggink, Mathias Hülsbusch, Barbara König
- PDF
Instance Generation from Type Graphs with Arbitrary Multiplicities

Gabriele Taentzer
- PDF
View-based Modelling and State-Space Generation for Graph Transformation Systems

Niaz Arijo, Reiko Heckel
- PDF
Inter-Modelling with Graphical Constraints: Foundations and Applications

Juan de Lara, Esther Guerra
- PDF
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO

Alexander Heußner
- PDF
A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation

Christine Natschläger, Klaus-Dieter Schewe
- PDF
Coverage Criteria for Testing DMM Specifications

Svetlana Arifulina, Christian Soltenborn, Gregor Engels
- PDF
Modeling context with graph annotations

Paolo Bottoni, Francesco Parisi-Presicce
- PDF
Optimizing Model-Based Software Product Line Testing with Graph Transformations

Anthony Anjorin, Sebastian Oster, Ivan Zoric, Andy Schürr
- PDF
Graph Passing in Graph Transformation

Amir Hossein Ghamarian, Arend Rensink
- PDF
Remedy of Mixed Initiative Conflicts in Model-based System Engineering

Fenglin Han, Peter Herrmann
- PDF
Incremental Pattern Matching for Regular Expressions

Arash Jalali, Arend Rensink, Amir Hossein Ghamarian
- PDF
Algebraic Approach to Timed Petri Nets

Karsten Gabriel, Pascal Lingnau, Claudia Ermel
- PDF

Vol. 47 (2012): Graph Transformation and Visual Modeling Techniques 2012

Preface

Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques

Articles

Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout

Visual Contracts as Test Oracle in AGG 2.0

Towards Alternating Automata for Graph Languages

Instance Generation from Type Graphs with Arbitrary Multiplicities

View-based Modelling and State-Space Generation for Graph Transformation Systems

Inter-Modelling with Graphical Constraints: Foundations and Applications

Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO

A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation

Coverage Criteria for Testing DMM Specifications

Modeling context with graph annotations

Optimizing Model-Based Software Product Line Testing with Graph Transformations

Graph Passing in Graph Transformation

Remedy of Mixed Initiative Conflicts in Model-based System Engineering

Incremental Pattern Matching for Regular Expressions

Algebraic Approach to Timed Petri Nets

Information

Usage Statistics Information