Volume 58: Graph Transformation and Visual Modeling Techniques 2013

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

Table of Contents

Preface

Preface
Matthias Tichy, Leila Ribeiro
PDF

Articles

Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions
Andrea Corradini
PDF
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories
Sebastian Küpper, Barbara König, H.J. Sander Bruggink
PDF
Interactive Strategy-Based Validation of Behavioral Models
Ralf Teusner, Gregor Gabrysiak, Stefan Richter, Stefan Kleff
PDF
Test Case Generation Using Visual Contracts
Olga Runge, Tamim Ahmed Khan, Reiko Heckel
PDF
Well-formed Model Co-evolution with Customizable Model Migration
Florian Mantz, Gabriele Taentzer, Yngve Lamo
PDF
Learning Minimal and Maximal Rules from Observations of Graph Transformations
Abdullah M. Alshanqiti, Reiko Heckel, Tamim Khan
PDF
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors
Maria Maximova, Hartmut Ehrig, Claudia Ermel
PDF
ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF
Sabine Winetzhammer, Bernhard Westfechtel
PDF
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars
Niklas Fors, Görel Hedin
PDF
A Pattern-based Approach for Initial Diagram Layout
Sonja Maier, Mark Minas
PDF
A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks
Mark Micallef, Christian Colombo
PDF
Monitor-Oriented Compensation Programming Through Compensating Automata
Christian Colombo, Gordon J Pace
PDF
Annotations on Complex Patterns
Paolo Bottoni, Francesco Parisi Presicce
PDF
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions
Joel Greenyer, Christian Brenner, Valerio Panzica La Manna
PDF
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior
Holger Giese
PDF