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

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

Published: 2012-07-31

Articles

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

Preface

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

Andrew Fish, Leen Lambers
- PDF

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

Articles

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

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

Preface

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

Information

Usage Statistics Information