Holger Giese, Karsten Ehrig
Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2007.

@proceedings{GT-VMT-2007,
	editor        = "Holger Giese and Karsten Ehrig",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 6,
	year          = 2007,
}

Event page: http://www.cs.le.ac.uk/events/GTVMT07/

Contents (16 items)

5 ×#graph
4 ×#graph transformation
2 ×#model transformation
2 ×#recursion
2 ×#specification
2 ×#using
2 ×#verification

GT-VMT-2007-BalasubramanianNNSTK #graph transformation #model transformation #transformation language

A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).

GT-VMT-2007-BisztrayH #csp #process #using #verification

Rule-Level Verification of Business Process Transformations using CSP (DB, RH).

GT-VMT-2007-BonevaHKR #graph transformation #multi #simulation #using

Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).

GT-VMT-2007-FussMRS #comparison

The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES (CF, CM, UR, ES).

GT-VMT-2007-GuerraL #graph transformation #recursion

Adding Recursion to Graph Transformation (EG, JdL).

GT-VMT-2007-HorvathVV #graph

Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).

GT-VMT-2007-KohlerLT #constraints #graph #model transformation

Ensuring Containment Constraints in Graph-based Model Transformation Approaches (CK, HL, GT).

GT-VMT-2007-KraemerH #collaboration #execution #specification #state machine

Transforming Collaborative Service Specifications into Efficiently Executable State Machines (FAK, PH).

GT-VMT-2007-LaraGB #generative #graph grammar #specification

Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules (JdL, EG, PB).

GT-VMT-2007-LindqvistLP #query

A Query Language With the Star Operator (JL, TL, IP).

GT-VMT-2007-MackiePV #interactive #programming #recursion #visual notation

Visual Programming with Recursion Patterns in Interaction Nets (IM, JSP, MV).

GT-VMT-2007-Paun #graph transformation

Membrane computing [and graph transformation] (GP).

GT-VMT-2007-RangelKE #approach #bisimulation #verification

Bisimulation Verification for the DPO Approach with Borrowed (GR, BK, HE).

GT-VMT-2007-SheehanGQ #graph

Imposing Hierarchy on a Graph (BS, BG, AJQ).

GT-VMT-2007-WorzbergerHH #graph #tool support #workflow

Evaluating Workflow Definition Language Revisions with Graph-Based Tools (RW, MH, FWH).

GT-VMT-2007-WrobelEP #framework #graph #product line

Graph-Based Engineering Systems — A Family of Software Applications and their Underlying Framework (GW, REE, MP).