Graph Transformations: Third International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006, Proceedings

Front Cover
Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
Springer Science & Business Media, Sep 11, 2006 - Computers - 472 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Nested Quantification in Graph Transformation Rules
1
Idioms of Logical Modelling
14
New Algorithms and Applications of Cyclic Reference Counting
15
SesquiPushout Rewriting
30
Edge Versus Vertex Marking
46
Conflict Detection for Graph Transformation with Negative Application Conditions
61
Adaptive Star Grammars
77
Narrowing DataStructures with Pointers
92
in Unreliable Environments Using Stochastic Object Based Graph Grammars
275
Temporal Graph Queries to Support Software Evolution
291
On the Use of Alloy to Analyze Graph Transformation Systems
306
Nonmaterialized Model View Specification with Triple Graph Grammars
321
An Application of Graph Transformation for Design by Contract
336
Model View Management with Triple Graph Transformation Systems
351
Graph Transformation in Constant Time
367
A Fast SPOBased Graph Rewriting Tool
383

Molecular Analysis of Metabolic Pathway with Graph Transformation
107
Matching and Sequences
122
String Generating Hypergraph Grammars with Word Order Restrictions
138
Composition and Decomposition of DPO Transformations with Borrowed Context
153
Process Bisimulation Via a Graphical Encoding
168
Toposes Are Adhesive
184
Graph Transactions as Processes
199
Categorical Foundations of Distributed Graph Transformation
215
Dynamic Graph Transformation Systems
230
Autonomous Units and Their Semantics The Sequential Case
245
by Petri Nets
260
Realizing Graph Transformations by Pre and Postconditions and Command Sequences
398
Heuristic Search for the Analysis of Graph Transition Systems
414
Satisfiability of HighLevel Conditions
430
Weakest Preconditions for HighLevel Programs
445
Foundations and Applications of Graph Transformation
461
Workshop on Graph Computation Models
463
Workshop on GraphBased Tools
465
Workshop on Petri Nets and Graph Transformations
467
Software Evolution Through Transformations Embracing Change
470
Author Index
473
Copyright

Other editions - View all

Common terms and phrases