Electronic Communication of the European Association of Software Science and Technology, Volume 6

Volume 6: Graph Transformation and Visual Modeling Techniques 2007

• Gheorghe Paun:
  Membrane computing [and graph transformation].
  Electronic Edition (link) BibTeX
• Dénes Bisztray, Reiko Heckel:
  Rule-Level Verification of Business Process Transformations using CSP.
  Electronic Edition (link) BibTeX
• Guilherme Rangel, Barbara König, Hartmut Ehrig:
  Bisimulation Verification for the DPO Approach with Borrowed.
  Electronic Edition (link) BibTeX
• Frank Alexander Kraemer, Peter Herrmann:
  Transforming Collaborative Service Specifications into Efficiently Executable State Machines.
  Electronic Edition (link) BibTeX
• Christian Köhler, Holger Lewin, Gabriele Taentzer:
  Ensuring Containment Constraints in Graph-based Model Transformation Approaches.
  Electronic Edition (link) BibTeX
• Ákos Horváth, Gergely Varró, Dániel Varró:
  Generic Search Plans for Matching Advanced Graph Patterns.
  Electronic Edition (link) BibTeX
• Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres:
  A Query Language With the Star Operator.
  Electronic Edition (link) BibTeX
• Juan de Lara, Esther Guerra, Paolo Bottoni:
  Triple Patterns: Compact Specifications for the Generation of Operational Triple Graph Grammar Rules.
  Electronic Edition (link) BibTeX
• Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai:
  A Subgraph Operator for Graph Transformation Languages.
  Electronic Edition (link) BibTeX
• Esther Guerra, Juan de Lara:
  Adding Recursion to Graph Transformation.
  Electronic Edition (link) BibTeX
• Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça:
  Visual Programming with Recursion Patterns in Interaction Nets.
  Electronic Edition (link) BibTeX
• Iovka Boneva, Frank Hermann, Harmen Kastenberg, Arend Rensink:
  Simulating Multigraph Transformations Using Simple Graphs.
  Electronic Edition (link) BibTeX
• René Wörzberger, Markus Heller, Frank Walter Häßler:
  Evaluating Workflow Definition Language Revisions with Graph-Based Tools.
  Electronic Edition (link) BibTeX
• Gregor Wrobel, Ralf-Erik Ebert, Matthias Pleßow:
  Graph-Based Engineering Systems - A Family of Software Applications and their Underlying Framework.
  Electronic Edition (link) BibTeX
• Brendan Sheehan, Benoit Gaudin, Aaron J. Quigley:
  Imposing Hierarchy on a Graph.
  Electronic Edition (link) BibTeX
• Christian Fuss, Christof Mosler, Ulrike Ranger, Erhard Schultchen:
  The Jury is still out: A Comparison of AGG, Fujaba, and PROGRES.
  Electronic Edition (link) BibTeX