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

Front Matter....Pages -
Combining Quality Assurance and Model Transformations in Business-Driven Development....Pages 1-16
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts....Pages 17-31
Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report....Pages 32-43
Using Graph Transformation to Support Collaborative Ontology Evolution....Pages 44-58
Modelling of Longitudinal Information Systems with Graph Grammars....Pages 59-65
A Generic Layout Algorithm for Meta-model Based Editors....Pages 66-81
Domain Specific Languages with Graphical and Textual Views....Pages 82-97
Generating Domain-Specific Model Editors with Complex Editing Commands....Pages 98-103
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation....Pages 104-119
Defining Abstract Graph Views as Module Interfaces....Pages 120-135
Programmed Graph Rewriting with DEVS....Pages 136-151
Relational Growth Grammars – A Parallel Graph Transformation Approach with Applications in Biology and Architecture....Pages 152-167
Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD....Pages 168-183
A Single-Step Term-Graph Reduction System for Proof Assistants....Pages 184-200
Shaped Generic Graph Transformation....Pages 201-216
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code....Pages 217-232
Graph Rewriting for Hardware Dependent Program Optimizations....Pages 233-248
Transforming Timeline Specifications into Automata for Runtime Monitoring....Pages 249-264
Visualization, Simulation and Analysis of Reconfigurable Systems....Pages 265-280
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing....Pages 281-296
Efficient Graph Matching with Application to Cognitive Automation....Pages 297-312
Checking and Enforcement of Modeling Guidelines with Graph Transformations....Pages 313-328
Aspect Diagrams for UML Activity Models....Pages 329-344
Model-Driven Software Development with Graph Transformations: A Comparative Case Study....Pages 345-360
Verification and Synthesis of OCL Constraints Via Topology Analysis....Pages 361-376
State of the Art of QVT: A Model Transformation Language Standard....Pages 377-393
Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database....Pages 394-409
Applying a Grouping Operator in Model Transformations....Pages 410-425
Modeling Successively Connected Repetitive Subgraphs....Pages 426-441
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages....Pages 442-455
Recursive Graph Pattern Matching....Pages 456-470
A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching....Pages 471-486
AGTIVE 2007 Graph Transformation Tool Contest....Pages 487-492
Ludo: A Case Study for Graph Transformation Tools....Pages 493-513
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools....Pages 514-539
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools....Pages 540-565
The EMF Model Transformation Framework....Pages 566-567
GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool....Pages 568-569
The Modelling Platform GroIMP and the Programming Language XL....Pages 570-572
Metamodeling with MOFLON....Pages 573-574
The Graph Rewriting Language and Environment PROGRES....Pages 575-576
Algorithm and Tool for Ontology Integration Based on Graph Rewriting....Pages 577-582
Generating Eclipse Editor Plug-Ins Using Tiger....Pages 583-584
From Graph Transformation to OCL Using USE....Pages 585-586
Introducing the VMTS Mobile Toolkit....Pages 587-592
Back Matter....Pages -