Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings (Lecture Notes in Computer Science, 5214)

This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008. The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations. In addition the volume contains 17 short papers of the ICGT 2008 Doctoral Symposium. Front Matter....Pages - Towards an Algebraic Theory of Bidirectional Transformations....Pages 1-17 Discovery, Verification and Conformance of Workflows with Cancellation....Pages 18-37 The AUTOSAR Way of Model-Based Engineering of Automotive Systems....Pages 38-38 An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars....Pages 39-53 Labelled (Hyper)Graphs, Negotiations and the Naming Problem....Pages 54-68 Abstracting Complex Data Structures by Hyperedge Replacement....Pages 69-83 Inductively Sequential Term-Graph Rewrite Systems....Pages 84-98 Mobile Agents Implementing Local Computations in Graphs....Pages 99-114 A Decentralized Implementation of Mobile Ambients....Pages 115-130 Network Applications of Graph Bisimulation....Pages 131-146 Graph Transformation for Topology Modelling....Pages 147-161 Embedding and Confluence of Graph Transformations with Negative Application Conditions....Pages 162-177 Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels....Pages 178-193 Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation....Pages 194-210 High-Level Programs and Program Conditions....Pages 211-225 Parallel and Sequential Independence for Borrowed Contexts....Pages 226-241 Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts....Pages 242-256 Open Petri Nets: Non-deterministic Processes and Compositionality....Pages 257-273 Attributed Graph Constraints....Pages 274-288 Resolution-Like Theorem Proving for High-Level Conditions....Pages 289-304 Towards the Verification of Attributed Graph Transformation Systems....Pages 305-320 A Modal-Logic Based Graph Abstraction....Pages 321-335 On the Recognizability of Arrow and Graph Languages....Pages 336-350 Graph Multiset Transformation as a Framework for Massively Parallel Computation....Pages 351-365 Pullback Grammars Are Context-Free....Pages 366-378 On Switching to H -Free Graphs....Pages 379-395 A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation....Pages 396-410 15 Years of Triple Graph Grammars....Pages 411-425 Pattern-Based Model-to-Model Transformation....Pages 426-441 Adaptive Star Grammars for Graph Models....Pages 442-457 Tutorial Introduction to Graph Transformation....Pages 458-459 Workshop on Graph Computation Models....Pages 460-462 Graph-Based Tools: The Contest....Pages 463-466 Workshop on Petri Nets and Graph Transformations....Pages 467-469 Summary of the Workshop on Natural Computing and Graph Transformations....Pages 470-472 ICGT 2008 Doctoral Symposium....Pages 473-474 Verification of Architectural Refactorings: Rule Extraction and Tool Support....Pages 475-477 Abstract Semantics by Observable Contexts....Pages 478-480 Triple Graph Grammars and OCL for Validating System Behavior....Pages 481-483 From Separation Logic to Hyperedge Replacement and Back....Pages 484-486 Security, Cryptography and Directed Bigraphs....Pages 487-489 Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement....Pages 490-492 Grammar Morphisms and Weakly Adhesive Categories....Pages 493-495 Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions....Pages 496-498 Towards a Two Layered Verification Approach for Compiled Graph Transformation....Pages 499-501 Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems....Pages 502-504 Service Extraction from Legacy Systems....Pages 505-507 Development of Correct Graph Transformation Systems....Pages 508-510 Graph Transformation for the Semantic Web: Queries and Inference Rules....Pages 511-513 Using a Triple Graph Grammar for State Machine Implementations....Pages 514-516 Model-Driven Development of Model Transformations....Pages 517-519 Transformation-Based Operationalization of Graph Languages....Pages 520-522 Back Matter....Pages -