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

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

Published: 2013-08-23

Preface

Preface

Matthias Tichy, Leila Ribeiro
- PDF

Articles

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

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

Preface

Preface

Articles

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions

Well-formed Model Co-evolution with Customizable Model Migration

Monitor-Oriented Compensation Programming Through Compensating Automata

Interactive Strategy-Based Validation of Behavioral Models

A Pattern-based Approach for Initial Diagram Layout

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

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

Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior

Learning Minimal and Maximal Rules from Observations of Graph Transformations

Annotations on Complex Patterns

Test Case Generation Using Visual Contracts

A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks

Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories

Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars

Information

Usage Statistics Information