Vol. 6 (2007): Graph Transformation and Visual Modeling Techniques 2007

Articles

• Graph-Based Engineering Systems - A Family of Software Applications and their Underlying Framework

  Gregor Wrobel, Ralf-Erik Ebert, Matthias Pleßow

  • PDF

• Ensuring Containment Constraints in Graph-based Model Transformation Approaches

  Christian Koehler, Holger Lewin, Gabriele Taentzer

  • PDF

• Simulating Multigraph Transformations Using Simple Graphs

  Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink

  • PDF

• Bisimulation Verification for the DPO Approach with Borrowed Contexts

  Guilherme Rangel, Barbara König, Hartmut Ehrig

  • PDF

• Adding Recursion to Graph Transformation

  Esther Guerra, Juan de Lara

  • PDF

• Membrane computing [and graph transformation]

  Gheorghe Paun

  • PDF

• Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules

  Juan de Lara, Esther Guerra, Paolo Bottoni

  • PDF

• Imposing Hierarchy on a Graph

  Brendan Sheehan, Benoit Gaudin, Aaron Quigley

  • PDF

• Generic Search Plans for Matching Advanced Graph Patterns

  Ákos Horváth, Gergely Varró, Dániel Varró

  • PDF

• Evaluating Workflow Definition Language Revisions with Graph-Based Tools

  René Wörzberger, Markus Heller, Frank Häßler

  • PDF

• Transforming Collaborative Service Specifications into Efficiently Executable State Machines

  Frank Alexander Kraemer, Peter Herrmann

  • PDF

• Visual Programming with Recursion Patterns in Interaction Nets

  Ian Mackie, Jorge Sousa Pinto, Miguel Vilaca

  • PDF

• Rule-Level Verification of Business Process Transformations using CSP

  Dánes Bisztray, Reiko Heckel

  • PDF

• A Subgraph Operator for Graph Transformation Languages

  Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai

  • PDF

• The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES

  Christian Fuß, Christof Mosler, Ulrike Ranger, Erhard Schultchen

  • PDF

• A Query Language With the Star Operator

  Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres

  • PDF