Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Roberto Bruni, Dániel Varró
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT-2006, 2008.

GRAPH
no DBLP info
Scholar
Full names Links ISxN
@proceedings{GT-VMT-2006,
	editor        = "Roberto Bruni and Dániel Varró",
	journal       = "{Electronic Notes in Theoretical Computer Science}",
	pdfurl        = "http://www.sciencedirect.com/science/journal/15710661/211/supp/C",
	title         = "{Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 211,
	year          = 2008,
}

Contents (24 items)

GT-VMT-2006-KoehlerHKRVW08 #development #model transformation #modelling #visual notation
The Role of Visual Modeling and Model Transformations in Business-driven Development (JK, RH, JMK, KR, JV, MW), pp. 5–15.
GT-VMT-2006-LambersEO08 #detection #graph transformation #performance
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (LL, HE, FO), pp. 17–26.
GT-VMT-2006-Lanese08 #graph transformation
Exploiting User-definable Synchronizations in Graph Transformation (IL), pp. 27–38.
GT-VMT-2006-BaldanCDFGR08 #graph grammar #towards #transaction
Towards a Notion of Transaction in Graph Rewriting (PB, AC, FLD, LF, FG, LR), pp. 39–50.
GT-VMT-2006-RensinkN08 #graph transformation #qvt #semantics
Graph Transformation Semantics for a QVT Language (AR, RN), pp. 51–62.
GT-VMT-2006-SiikarlaS08 #assembly
Transformational Pattern System — Some Assembly Required (MS, TS), pp. 63–74.
GT-VMT-2006-DarabosPV08 #graph transformation #implementation #testing #towards
Towards Testing the Implementation of Graph Transformations (AD, AP, DV), pp. 75–85.
GT-VMT-2006-BottoniPPT08 #distributed #eclipse #maintenance #modelling
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse (PB, FPP, SP, GT), pp. 87–98.
GT-VMT-2006-GuerraDL08 #domain-specific language #metric #specification #visual notation
Visual Specification of Metrics for Domain Specific Visual Languages (EG, PD, JdL), pp. 99–110.
GT-VMT-2006-Kunert08 #automation #generative #metamodelling #modelling #source code
Semi-automatic Generation of Metamodels and Models From Grammars and Programs (AK), pp. 111–119.
GT-VMT-2006-Varro08 #database #graph transformation #implementation #independence #plugin #query #using
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries (GV), pp. 121–132.
GT-VMT-2006-GorpSJ08 #repository
Copying Subgraphs Within Model Repositories (PVG, HS, DJ), pp. 133–145.
GT-VMT-2006-AutiliP08 #requirements #towards #visual notation
Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.
GT-VMT-2006-WinkelmannTEK08 #constraints #generative #graph grammar #metamodelling #ocl #strict
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars (JW, GT, KE, JMK), pp. 159–170.
GT-VMT-2006-Willink08 #approach #challenge #on the #visual notation
On Challenges for a Graphical Transformation Notation and the UMLX Approach (EDW), pp. 171–179.
GT-VMT-2006-JakobS08 #graph grammar #metamodelling #modelling #using
View Creation of Meta Models by Using Modified Triple Graph Grammars (JJ, AS), pp. 181–190.
GT-VMT-2006-NarayananK08 #model transformation #towards #verification
Towards Verifying Model Transformations (AN, GK), pp. 191–200.
GT-VMT-2006-KonigK08 #analysis #graph transformation
Augur 2 — A New Version of a Tool for the Analysis of Graph Transformation Systems (BK, VK), pp. 201–210.
GT-VMT-2006-XuLW08 #reasoning #visual notation
BPSL Modeler — Visual Notation Language for Intuitive Business Property Reasoning (KX, YL, CW), pp. 211–220.
GT-VMT-2006-KovacsG08 #analysis #formal method #modelling #simulation #workflow
Simulation and Formal Analysis of Workflow Models (MK, LG), pp. 221–230.
GT-VMT-2006-ManningP08 #automaton
The York Abstract Machine (GM, DP), pp. 231–240.
GT-VMT-2006-MinasH08 #graph transformation #programming
An Example of Cloning Graph Transformation Rules for Programming (MM, BH), pp. 241–250.
GT-VMT-2006-Braatz08 #approach #modelling #object-oriented #rule-based
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems (BB), pp. 251–260.
GT-VMT-2006-HermannET08 #diagrams #graph grammar #inheritance #sequence chart #syntax #uml
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (FH, HE, GT), pp. 261–269.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.