Volume 211, April 2008
Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2006)
- Roberto Bruni, Dániel Varró:
Preface.
1-3
- Jana Koehler, Rainer Hauser, Jochen Malte Küster, Ksenia Ryndina, Jussi Vanhatalo, Michael Wahler:
The Role of Visual Modeling and Model Transformations in Business-driven Development.
5-15
- Leen Lambers, Hartmut Ehrig, Fernando Orejas:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs.
17-26
- Ivan Lanese:
Exploiting User-definable Synchronizations in Graph Transformation.
27-38
- Paolo Baldan, Andrea Corradini, Fernando Luís Dotti, Luciana Foss, Fabio Gadducci, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting.
39-50
- Arend Rensink, Ronald Nederpel:
Graph Transformation Semantics for a QVT Language.
51-62
- Mika Siikarla, Tarja Systä:
Transformational Pattern System - Some Assembly Required.
63-74
- Andrea Darabos, András Pataricza, Dániel Varró:
Towards Testing the Implementation of Graph Transformations.
75-85
- Paolo Bottoni, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer:
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse.
87-98
- Esther Guerra, Paloma Díaz, Juan de Lara:
Visual Specification of Metrics for Domain Specific Visual Languages.
99-110
- Andreas Kunert:
Semi-automatic Generation of Metamodels and Models From Grammars and Programs.
111-119
- Gergely Varró:
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries.
121-132
- Pieter Van Gorp, Hans Schippers, Dirk Janssens:
Copying Subgraphs Within Model Repositories.
133-145
- Marco Autili, Patrizio Pelliccione:
Towards a Graphical Tool for Refining User to System Requirements.
147-157
- Jessica Winkelmann, Gabriele Taentzer, Karsten Ehrig, Jochen Malte Küster:
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars.
159-170
- Edward D. Willink:
On Challenges for a Graphical Transformation Notation and the UMLX Approach.
171-179
- Johannes Jakob, Andy Schürr:
View Creation of Meta Models by Using Modified Triple Graph Grammars.
181-190
- Anantha Narayanan, Gabor Karsai:
Towards Verifying Model Transformations.
191-200
- Barbara König, Vitali Kozioura:
Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems.
201-210
- Ke Xu, Ying Liu, Cheng Wu:
BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning.
211-220
- Máté Kovács, László Gönczy:
Simulation and Formal Analysis of Workflow Models.
221-230
- Greg Manning, Detlef Plump:
The York Abstract Machine.
231-240
- Mark Minas, Berthold Hoffmann:
An Example of Cloning Graph Transformation Rules for Programming.
241-250
- Benjamin Braatz:
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems.
251-260
- Frank Hermann, Hartmut Ehrig, Gabriele Taentzer:
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams.
261-269
Last update Sat May 18 20:24:38 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
