4. ICGT 2008: Leicester, United Kingdom

Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer (Eds.): Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Lecture Notes in Computer Science 5214 Springer 2008, ISBN 978-3-540-87404-1 BibTeX

Invited Papers

Perdita Stevens:
Towards an Algebraic Theory of Bidirectional Transformations. 1-17
Electronic Edition (link) BibTeX
Wil M. P. van der Aalst:
Discovery, Verification and Conformance of Workflows with Cancellation. 18-37
Electronic Edition (link) BibTeX
Heiko Dörr:
The AUTOSAR Way of Model-Based Engineering of Automotive Systems. 38
Electronic Edition (link) BibTeX

Hypergraphs and Termgraph Rewriting

Steffen Mazanek, Sonja Maier, Mark Minas:
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars. 39-53
Electronic Edition (link) BibTeX
Jérémie Chalopin, Antoni Mazurkiewicz, Yves Métivier:
Labelled (Hyper)Graphs, Negotiations and the Naming Problem. 54-68
Electronic Edition (link) BibTeX
Stefan Rieger, Thomas Noll:
Abstracting Complex Data Structures by Hyperedge Replacement. 69-83
Electronic Edition (link) BibTeX
Rachid Echahed:
Inductively Sequential Term-Graph Rewrite Systems. 84-98
Electronic Edition (link) BibTeX

Applications of Graph Transformation

Bilel Derbel, Mohamed Mosbah, Stefan Gruner:
Mobile Agents Implementing Local Computations in Graphs. 99-114
Electronic Edition (link) BibTeX
Fabio Gadducci, Giacoma Valentina Monreale:
A Decentralized Implementation of Mobile Ambients. 115-130
Electronic Edition (link) BibTeX
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto:
Network Applications of Graph Bisimulation. 131-146
Electronic Edition (link) BibTeX
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall:
Graph Transformation for Topology Modelling. 147-161
Electronic Edition (link) BibTeX
Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas:
Embedding and Confluence of Graph Transformations with Negative Application Conditions. 162-177
Electronic Edition (link) BibTeX

Execution of Graph Transformations

Hartmut Ehrig, Ulrike Prange:
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels. 178-193
Electronic Edition (link) BibTeX
Hartmut Ehrig, Claudia Ermel:
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. 194-210
Electronic Edition (link) BibTeX
Karl Azab, Annegret Habel:
High-Level Programs and Program Conditions. 211-225
Electronic Edition (link) BibTeX

Compositional Systems

Filippo Bonchi, Fabio Gadducci, Tobias Heindel:
Parallel and Sequential Independence for Borrowed Contexts. 226-241
Electronic Edition (link) BibTeX
Guilherme Rangel, Leen Lambers, Barbara König, Hartmut Ehrig, Paolo Baldan:
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts. 242-256
Electronic Edition (link) BibTeX
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Barbara König:
Open Petri Nets: Non-deterministic Processes and Compositionality. 257-273
Electronic Edition (link) BibTeX

Validation and Verification

Fernando Orejas:
Attributed Graph Constraints. 274-288
Electronic Edition (link) BibTeX
Karl-Heinz Pennemann:
Resolution-Like Theorem Proving for High-Level Conditions. 289-304
Electronic Edition (link) BibTeX
Barbara König, Vitali Kozioura:
Towards the Verification of Attributed Graph Transformation Systems. 305-320
Electronic Edition (link) BibTeX
Jörg Bauer, Iovka Boneva, Marcos E. Kurbán, Arend Rensink:
A Modal-Logic Based Graph Abstraction. 321-335
Electronic Edition (link) BibTeX

Graph Languages and Special Transformation Concepts

Harrie Jan Sander Bruggink, Barbara König:
On the Recognizability of Arrow and Graph Languages. 336-350
Electronic Edition (link) BibTeX
Hans-Jörg Kreowski, Sabine Kuske:
Graph Multiset Transformation as a Framework for Massively Parallel Computation. 351-365
Electronic Edition (link) BibTeX
Michel Bauderon, Rui Chen, Olivier Ly:
Pullback Grammars Are Context-Free. 366-378
Electronic Edition (link) BibTeX
Eva Jelínková, Jan Kratochvíl:
On Switching to H-Free Graphs. 379-395
Electronic Edition (link) BibTeX

Patterns and Model Transformations

Gábor Bergmann, Ákos Horváth, István Ráth, Dániel Varró:
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation. 396-410
Electronic Edition (link) BibTeX
Andy Schürr, Felix Klar:
15 Years of Triple Graph Grammars. 411-425
Electronic Edition (link) BibTeX
Juan de Lara, Esther Guerra:
Pattern-Based Model-to-Model Transformation. 426-441
Electronic Edition (link) BibTeX
Frank Drewes, Berthold Hoffmann, Mark Minas:
Adaptive Star Grammars for Graph Models. 442-457
Electronic Edition (link) BibTeX

Tutorial and Workshops

Reiko Heckel:
Tutorial Introduction to Graph Transformation. 458-459
Electronic Edition (link) BibTeX
Mohamed Mosbah, Annegret Habel:
Workshop on Graph Computation Models. 460-462
Electronic Edition (link) BibTeX
Arend Rensink, Pieter Van Gorp:
Graph-Based Tools: The Contest. 463-466
Electronic Edition (link) BibTeX
Paolo Baldan, Barbara König:
Workshop on Petri Nets and Graph Transformations. 467-469
Electronic Edition (link) BibTeX
Ion Petre, Grzegorz Rozenberg:
Summary of the Workshop on Natural Computing and Graph Transformations. 470-472
Electronic Edition (link) BibTeX

Doctoral Symposium

Andrea Corradini, Emilio Tuosto:
ICGT 2008 Doctoral Symposium. 473-474
Electronic Edition (link) BibTeX
Dénes Bisztray:
Verification of Architectural Refactorings: Rule Extraction and Tool Support. 475-477
Electronic Edition (link) BibTeX
Filippo Bonchi:
Abstract Semantics by Observable Contexts. 478-480
Electronic Edition (link) BibTeX
Duc-Hanh Dang:
Triple Graph Grammars and OCL for Validating System Behavior. 481-483
Electronic Edition (link) BibTeX
Mike Dodds:
From Separation Logic to Hyperedge Replacement and Back. 484-486
Electronic Edition (link) BibTeX
Davide Grohmann:
Security, Cryptography and Directed Bigraphs. 487-489
Electronic Edition (link) BibTeX
Mohammad Hammoudeh:
Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement. 490-492
Electronic Edition (link) BibTeX
Tobias Heindel:
Grammar Morphisms and Weakly Adhesive Categories. 493-495
Electronic Edition (link) BibTeX
Frank Hermann:
Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions. 496-498
Electronic Edition (link) BibTeX
Ákos Horváth:
Towards a Two Layered Verification Approach for Compiled Graph Transformation. 499-501
Electronic Edition (link) BibTeX
Ajab Khan:
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems. 502-504
Electronic Edition (link) BibTeX
Carlos Matos:
Service Extraction from Legacy Systems. 505-507
Electronic Edition (link) BibTeX
Karl-Heinz Pennemann:
Development of Correct Graph Transformation Systems. 508-510
Electronic Edition (link) BibTeX
HongQing Yu, Yi Hong:
Graph Transformation for the Semantic Web: Queries and Inference Rules. 511-513
Electronic Edition (link) BibTeX
Michael Striewe:
Using a Triple Graph Grammar for State Machine Implementations. 514-516
Electronic Edition (link) BibTeX
Pieter Van Gorp:
Model-Driven Development of Model Transformations. 517-519
Electronic Edition (link) BibTeX
Erhard Weinell:
Transformation-Based Operationalization of Graph Languages. 520-522
Electronic Edition (link) BibTeX