Electronic Notes in Theoretical Computer Science, Volume 211

Volume 211, April 2008

• 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