Matthias Tichy, Leila Ribeiro
Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2013.

@proceedings{GT-VMT-2013,
	editor        = "Matthias Tichy and Leila Ribeiro",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 58,
	year          = 2013,
}

Contents (15 items)

3 ×#behaviour
3 ×#graph transformation
3 ×#modelling
3 ×#visual notation
2 ×#diagrams
2 ×#semantics

GT-VMT-2013-AlshanqitiHK #graph transformation #learning

Learning Minimal and Maximal Rules from Observations of Graph Transformations (AMA, RH, TAK).

GT-VMT-2013-BottoniP

Annotations on Complex Patterns (PB, FPP).

GT-VMT-2013-ColomboP #automaton #programming

Monitor-Oriented Compensation Programming Through Compensating Automata (CC, GJP).

GT-VMT-2013-Corradini #concurrent #semantics

Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions (AC).

GT-VMT-2013-ForsH #attribute grammar #editing #reuse #semantics #visual notation

Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars (NF, GH).

GT-VMT-2013-Giese #behaviour #graph transformation #probability

Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).

GT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).

GT-VMT-2013-KupperKB #category theory

Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories (SK, BK, HJSB).

GT-VMT-2013-MaierM #approach #diagrams #layout

A Pattern-based Approach for Initial Diagram Layout (SM, MM).

GT-VMT-2013-MantzTL #co-evolution #migration

Well-formed Model Co-evolution with Customizable Model Migration (FM, GT, YL).

GT-VMT-2013-MaximovaEE #analysis #graph transformation

Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (MM, HE, CE).

GT-VMT-2013-MicallefC #case study #detection #modelling #risk management #visual notation

A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks (MM, CC).

GT-VMT-2013-RungeKH #contract #generative #testing #using #visual notation

Test Case Generation Using Visual Contracts (OR, TAK, RH).

GT-VMT-2013-TeusnerGRK #behaviour #interactive #modelling #validation

Interactive Strategy-Based Validation of Behavioral Models (RT, GG, SR, SK).

GT-VMT-2013-WinetzhammerW #behaviour #emf #modelling #rule-based

ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF (SW, BW).