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