Applications Of Graph Transformations With Industrial Relevance: Third International Symposium, Agtive 2007, Kassel, Germany, October 10-12, 2007 ; Revised Selected And Invited Papers Agtive 2007

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. The 30 revised full papers presented together with 2 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph transformation applications, meta-modeling and domain-specific language, new graph transformation approaches, program transformation applications, dynamic system modeling, model driven software development applications, queries, views, and model transformations, as well as new pattern matching and rewriting concepts. The volume moreover contains 4 papers resulting from the adjacent graph transformation tool contest and concludes with 9 papers summarizing the state of the art of today's available graph transformation environments. 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 - This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations. Andy Schürr, Manfred Nagl, Albert Zündorf (eds.). Includes Bibliographical References And Author Index. Also Issued Online.