Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Graph Transformations

Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Andrea Corradini

    1. Institute of Business Communication and Information Science, University of Southern Denmark, Kolding, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hartmut Ehrig

    1. Technische Universität Berlin, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ugo Montanari

    1. Dipartimento di Informatica, Università di Pisa,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Leila Ribeiro

    1. Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Grzegorz Rozenberg

    1. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4178)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICGT 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci?cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.

Similar content being viewed by others

Keywords

Table of contents (36 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Nested Quantification in Graph Transformation Rules

      • Arend Rensink
      Pages 1-13

    2. Idioms of Logical Modelling

      • Daniel Jackson
      Pages 14-14

    3. New Algorithms and Applications of Cyclic Reference Counting

      • Rafael Dueire Lins
      Pages 15-29

  3. New Graph Transformation Models

    1. Sesqui-Pushout Rewriting

      • Andrea Corradini, Tobias Heindel, Frank Hermann, Barbara König
      Pages 30-45

    2. Automata on Directed Graphs: Edge Versus Vertex Marking

      • Dietmar Berwanger, David Janin
      Pages 46-60

    3. Conflict Detection for Graph Transformation with Negative Application Conditions

      • Leen Lambers, Hartmut Ehrig, Fernando Orejas
      Pages 61-76

    4. Adaptive Star Grammars

      • Frank Drewes, Berthold Hoffmann, Dirk Janssens, Mark Minas, Niels Van Eetvelde
      Pages 77-91

  4. Structure Manipulation

    1. Narrowing Data-Structures with Pointers

      • Rachid Echahed, Nicolas Peltier
      Pages 92-106

    2. Molecular Analysis of Metabolic Pathway with Graph Transformation

      • Karsten Ehrig, Reiko Heckel, Georgios Lajios
      Pages 107-121

    3. Matrix Approach to Graph Transformation: Matching and Sequences

      • Pedro Pablo Pérez Velasco, Juan de Lara
      Pages 122-137

    4. String Generating Hypergraph Grammars with Word Order Restrictions

      • Martin Riedl, Sebastian Seifert, Ingrid Fischer
      Pages 138-152

  5. Borrowed Contexts and Adhesive Categories

    1. Composition and Decomposition of DPO Transformations with Borrowed Context

      • Paolo Baldan, Hartmut Ehrig, Barbara König
      Pages 153-167

    2. Process Bisimulation Via a Graphical Encoding

      • Filippo Bonchi, Fabio Gadducci, Barbara König
      Pages 168-183

    3. Toposes Are Adhesive

      • Stephen Lack, Paweł Sobociński
      Pages 184-198

  6. Extensions for Distributed and Global Computing

    1. Graph Transactions as Processes

      • Paolo Baldan, Andrea Corradini, Luciana Foss, Fabio Gadducci
      Pages 199-214

    2. Categorical Foundations of Distributed Graph Transformation

      • Hartmut Ehrig, Fernando Orejas, Ulrike Prange
      Pages 215-229

    3. Dynamic Graph Transformation Systems

      • Roberto Bruni, Hernán Melgratti
      Pages 230-244

    4. Autonomous Units and Their Semantics — The Sequential Case

      • Karsten Hölscher, Hans-Jörg Kreowski, Sabine Kuske
      Pages 245-259

  7. Software Engineering Methods and Tools

    1. Termination Analysis of Model Transformations by Petri Nets

      • Dániel Varró, Szilvia Varró–Gyapay, Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
      Pages 260-274
Back to top

Other volumes

  1. Graph Transformations

Editors and Affiliations

  • Institute of Business Communication and Information Science, University of Southern Denmark, Kolding, Denmark

    Andrea Corradini

  • Technische Universität Berlin, Germany

    Hartmut Ehrig

  • Dipartimento di Informatica, Università di Pisa,  

    Ugo Montanari

  • Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil

    Leila Ribeiro

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation