Volume 6: Graph Transformation and Visual Modeling Techniques 2007

DOI: http://dx.doi.org/10.14279/tuj.eceasst.6

Table of Contents

Articles

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