Graph Transformations

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

ISBN: 978-3-540-87404-1 (Print) 978-3-540-87405-8 (Online)

Table of contents (52 chapters)

previous Page of 3
  1. Front Matter

    Pages -

  2. Invited Papers

    1. No Access

      Book Chapter

      Pages 1-17

      Towards an Algebraic Theory of Bidirectional Transformations

    2. No Access

      Book Chapter

      Pages 18-37

      Discovery, Verification and Conformance of Workflows with Cancellation

    3. No Access

      Book Chapter

      Pages 38-38

      The AUTOSAR Way of Model-Based Engineering of Automotive Systems

  3. Hypergraphs and Termgraph Rewriting

    1. No Access

      Book Chapter

      Pages 39-53

      An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars

    2. No Access

      Book Chapter

      Pages 54-68

      Labelled (Hyper)Graphs, Negotiations and the Naming Problem

    3. No Access

      Book Chapter

      Pages 69-83

      Abstracting Complex Data Structures by Hyperedge Replacement

    4. No Access

      Book Chapter

      Pages 84-98

      Inductively Sequential Term-Graph Rewrite Systems

  4. Applications of Graph Transformation

    1. No Access

      Book Chapter

      Pages 99-114

      Mobile Agents Implementing Local Computations in Graphs

    2. No Access

      Book Chapter

      Pages 115-130

      A Decentralized Implementation of Mobile Ambients

    3. No Access

      Book Chapter

      Pages 131-146

      Network Applications of Graph Bisimulation

    4. No Access

      Book Chapter

      Pages 147-161

      Graph Transformation for Topology Modelling

  5. Execution of Graph Transformations

    1. No Access

      Book Chapter

      Pages 162-177

      Embedding and Confluence of Graph Transformations with Negative Application Conditions

    2. No Access

      Book Chapter

      Pages 178-193

      Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

    3. No Access

      Book Chapter

      Pages 194-210

      Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation

    4. No Access

      Book Chapter

      Pages 211-225

      High-Level Programs and Program Conditions

  6. Compositional Systems

    1. No Access

      Book Chapter

      Pages 226-241

      Parallel and Sequential Independence for Borrowed Contexts

    2. No Access

      Book Chapter

      Pages 242-256

      Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts

    3. No Access

      Book Chapter

      Pages 257-273

      Open Petri Nets: Non-deterministic Processes and Compositionality

  7. Validation and Verification

    1. No Access

      Book Chapter

      Pages 274-288

      Attributed Graph Constraints

    2. No Access

      Book Chapter

      Pages 289-304

      Resolution-Like Theorem Proving for High-Level Conditions

previous Page of 3