Vol. 58 (2013): Graph Transformation and Visual Modeling Techniques 2013

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

Published: 2013-08-23

Articles

Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions

Andrea Corradini
- PDF
ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF

Sabine Winetzhammer, Bernhard Westfechtel
- PDF
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior

Holger Giese
- PDF
Learning Minimal and Maximal Rules from Observations of Graph Transformations

Abdullah Alshanqiti, Reiko Heckel, Tamim Khan
- PDF
Annotations on Complex Patterns

Paolo Bottoni, Francesco Parisi Presicce
- PDF
Test Case Generation Using Visual Contracts

Olga Runge, Tamim Khan, Reiko Heckel
- PDF
A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks

Mark Micallef, Christian Colombo
- PDF
Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories

Sebastian Küpper, Barbara König, H.J. Sander Bruggink
- PDF
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars

Niklas Fors, Görel Hedin
- PDF
Analysis of Hypergraph Transformation Systems in AGG based on M-Functors

Maria Maximova, Hartmut Ehrig, Claudia Ermel
- PDF
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions

Joel Greenyer, Christian Brenner, Valerio Panzica La Manna
- PDF
Well-formed Model Co-evolution with Customizable Model Migration

Florian Mantz, Gabriele Taentzer, Yngve Lamo
- PDF
Monitor-Oriented Compensation Programming Through Compensating Automata

Christian Colombo, Gordon Pace
- PDF
Interactive Strategy-Based Validation of Behavioral Models

Ralf Teusner, Gregor Gabrysiak, Stefan Richter, Stefan Kleff
- PDF
A Pattern-based Approach for Initial Diagram Layout

Sonja Maier, Mark Minas
- PDF

Preface

Preface

Matthias Tichy, Leila Ribeiro
- PDF