Claudia Ermel, Juan de Lara, Reiko Heckel
Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2008.

@proceedings{GT-VMT-2008,
	doi           = "10.14279/tuj.eceasst.10",
	editor        = "Claudia Ermel and Juan de Lara and Reiko Heckel",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 10,
	year          = 2008,
}

Contents (24 items)

6 ×#graph
4 ×#graph transformation
4 ×#verification
3 ×#configuration management
2 ×#analysis
2 ×#design
2 ×#diagrams
2 ×#graph grammar
2 ×#model transformation
2 ×#using

GT-VMT-2008-AzabP #c++ #graph #source code #type checking

Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).

GT-VMT-2008-BaresiGMM #abstraction #graph transformation #using #verification

Using Graph Transformation Systems to Specify and Verify Data Abstractions (LB, CG, AM, MM).

GT-VMT-2008-BiermannM #analysis #configuration management #independence #rule-based

Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).

GT-VMT-2008-BottoniMWY #control flow

Composing control flow and formula rules for computing on grids (PB, NNM, YW, RY).

GT-VMT-2008-BraatzB #framework #graph transformation

Graph Transformations for the Resource Description Framework (BB, CB).

GT-VMT-2008-BrielerM #ambiguity #analysis #diagrams #graph grammar #sketching #syntax

Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars (FB, MM).

GT-VMT-2008-BucchiaroneG #architecture #using #verification

Dynamic Software Architectures Verification using DynAlloy (AB, JPG).

GT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration #model transformation

From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).

GT-VMT-2008-GrabskaSL #design #graph transformation #reasoning #using #visual notation

Visual Design and Reasoning with the Use of Hypergraph Transformations (EG, GMS, TLL).

GT-VMT-2008-GrohmannM #graph #resource management

Controlling resource access in Directed Bigraphs (DG, MM).

GT-VMT-2008-Gruner #graph transformation #mobile #network

Graph Transformation Model of a Triangulated Network of Mobile Units (SG).

GT-VMT-2008-HassanMS #design #implementation #interactive #programming language

Interaction nets: programming language design and implementation (AH, IM, SS).

GT-VMT-2008-KoehlerCPA #configuration management #data flow

Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).

GT-VMT-2008-KumarM #automaton #sequence chart #verification

Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).

GT-VMT-2008-LambersET #sequence

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).

GT-VMT-2008-MaierM #algorithm #layout

A Static Layout Algorithm for DiaMeta (SM, MM).

GT-VMT-2008-ManningP #programming

The GP Programming System (GM, DP).

GT-VMT-2008-MazanekM #combinator #graph #parsing

Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators (SM, MM).

GT-VMT-2008-NarayananK #model transformation #verification

Verifying Model Transformations by Structural Correspondence (AN, GK).

GT-VMT-2008-ReinPLHP #configuration management

Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).

GT-VMT-2008-RensinkK #diagrams #graph #on the #semantics #uml

On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).

GT-VMT-2008-Vangheluwe #modelling #simulation

Foundations of Modelling and Simulation of Complex Systems (HV).

GT-VMT-2008-Weinell #graph #query #reduction

Extending Graph Query Languages by Reduction (EW).

GT-VMT-2008-Xing #graph #representation

A Graph-Based Type Representation for Objects (CCX).