E-raamat: Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers

Graph Transformation Applications.- Combining Quality Assurance and
Model Transformations in Business-Driven Development.- Assuring Consistency
of Business Process Models and Web Services Using Visual Contracts.-
Transforming Scene Graphs Using Triple Graph Grammars A Practice Report.-
Using Graph Transformation to Support Collaborative Ontology Evolution.-
Modelling of Longitudinal Information Systems with Graph Grammars.-
Meta-modeling and Domain-Specific Language.- A Generic Layout Algorithm for
Meta-model Based Editors.- Domain Specific Languages with Graphical and
Textual Views.- Generating Domain-Specific Model Editors with Complex Editing
Commands.- Specifying Domain-Specific Refactorings for AndroMDA Based on
Graph Transformation.- New Graph Transformation Approaches.- Defining
Abstract Graph Views as Module Interfaces.- Programmed Graph Rewriting with
DEVS.- Relational Growth Grammars A Parallel Graph Transformation Approach
with Applications in Biology and Architecture.- Applications and Rewriting of
Omnigraphs Exemplified in the Domain of MDD.- Program Transformation
Applications.- A Single-Step Term-Graph Reduction System for Proof
Assistants.- Shaped Generic Graph Transformation.- Code Graph Transformations
for Verifiable Generation of SIMD-Parallel Assembly Code.- Graph Rewriting
for Hardware Dependent Program Optimizations.- Dynamic System Modeling.-
Transforming Timeline Specifications into Automata for Runtime Monitoring.-
Visualization, Simulation and Analysis of Reconfigurable Systems.-
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing.-
Efficient Graph Matching with Application to Cognitive Automation.- Model
Driven Software Development Applications.- Checking and Enforcement of
Modeling Guidelines with GraphTransformations.- Aspect Diagrams for UML
Activity Models.- Model-Driven Software Development with Graph
Transformations: A Comparative Case Study.- Verification and Synthesis of OCL
Constraints Via Topology Analysis.- Queries, Views, and Model
Transformations.- State of the Art of QVT: A Model Transformation Language
Standard.- Adaptable Support for Queries and Transformations for the DRAGOS
Graph-Database.- New Pattern Matching and Rewriting Concepts.- Applying a
Grouping Operator in Model Transformations.- Modeling Successively Connected
Repetitive Subgraphs.- Simulating Set-Valued Transformations with Algorithmic
Graph Transformation Languages.- Recursive Graph Pattern Matching.- A First
Experimental Evaluation of Search Plan Driven Graph Pattern Matching.- Graph
Transformation Tool Contest.- AGTIVE 2007 Graph Transformation Tool Contest.-
Ludo: A Case Study for Graph Transformation Tools.- Generation of Sierpinski
Triangles: A Case Study for Graph Transformation Tools.- Transformation of
UML Models to CSP: A Case Study for Graph Transformation Tools.- Graph
Transformation Tools.- The EMF Model Transformation Framework.- GrGen.NET: A
Fast, Expressive, and General Purpose Graph Rewrite Tool.- The Modelling
Platform GroIMP and the Programming Language XL.- Metamodeling with MOFLON.-
The Graph Rewriting Language and Environment PROGRES.- Algorithm and Tool for
Ontology Integration Based on Graph Rewriting.- Generating Eclipse Editor
Plug-Ins Using Tiger.- From Graph Transformation to OCL Using USE.-
Introducing the VMTS Mobile Toolkit.