Volume 47: Graph Transformation and Visual Modeling Techniques 2012

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

Table of Contents

Preface

Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques
Andrew Fish, Leen Lambers
PDF

Articles

Instance Generation from Type Graphs with Arbitrary Multiplicities
Gabriele Taentzer
PDF
Optimizing Model-Based Software Product Line Testing with Graph Transformations
Anthony Anjorin, Sebastian Oster, Ivan Zoric, Andy Schürr
PDF
Visual Contracts as Test Oracle in AGG 2.0
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
PDF
Coverage Criteria for Testing DMM Specifications
Svetlana Arifulina, Christian Soltenborn, Gregor Engels
PDF
Algebraic Approach to Timed Petri Nets
Karsten Gabriel, Pascal Lingnau, Claudia Ermel
PDF
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO
Alexander Heußner
PDF
Remedy of Mixed Initiative Conflicts in Model-based System Engineering
Fenglin Han, Peter Herrmann
PDF
View-based Modelling and State-Space Generation for Graph Transformation Systems
Niaz Arijo, Reiko Heckel
PDF
Graph Passing in Graph Transformation
Amir Hossein Ghamarian, Arend Rensink
PDF
Towards Alternating Automata for Graph Languages
H.J. Sander Bruggink, Mathias Hülsbusch, Barbara König
PDF
Modeling context with graph annotations
Paolo Bottoni, Francesco Parisi-Presicce
PDF
Layout Improvement in Diagram Editors by Automatic Ad-hoc Layout
Sonja Maier, Mark Minas
PDF
A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation
Christine Natschläger, Klaus-Dieter Schewe
PDF
Incremental Pattern Matching for Regular Expressions
Arash Jalali, Arend Rensink, Amir Hossein Ghamarian
PDF
Inter-Modelling with Graphical Constraints: Foundations and Applications
Juan de Lara, Esther Guerra
PDF