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