Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings

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 -