Roberto Bruni, Dániel Varró
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT-2006, 2008.
@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.
7 ×#graph transformation
6 ×#modelling
5 ×#visual notation
4 ×#graph grammar
4 ×#towards
3 ×#metamodelling
2 ×#analysis
2 ×#approach
2 ×#generative
2 ×#implementation
6 ×#modelling
5 ×#visual notation
4 ×#graph grammar
4 ×#towards
3 ×#metamodelling
2 ×#analysis
2 ×#approach
2 ×#generative
2 ×#implementation