Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings

Margaret-Anne D. Storey (auth.), Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg (eds.)3540232079, 9783540302032, 9783540232070

This book constitutes the refereed proceedings of the Second International Conference on Graph Transformation, ICGT 2004, held in Rome, Italy, in September/October 2004.

The 26 revised full papers presented together with three invited contributions and summaries of 2 tutorials and 5 workshops were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on integration technology, chemistry and biology, graph transformation concepts, DPO theory for high-level structures, analysis and testing, graph theory and algorithms, application conditions and logic, transformation of special structures, and object-orientation.

---

Table of contents :
Front Matter….Pages –
Improving Flow in Software Development Through Graphical Representations….Pages 1-1
A Perspective on Graphs and Access Control Models….Pages 2-12
Transformation Language Design: A Metamodelling Foundation….Pages 13-21
Rule Execution in Graph-Based Incremental Interactive Integration Tools….Pages 22-38
Composition of Relations in Enterprise Architecture Models….Pages 39-53
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation….Pages 54-69
Analysis of Metabolic Pathways by Graph Transformation….Pages 70-82
The Potential of a Chemical Graph Transformation System….Pages 83-95
Concepts for Specifying Complex Graph Transformation Systems….Pages 96-111
Typing of Graph Transformation Units….Pages 112-127
Towards Graph Programs for Graph Algorithms….Pages 128-143
Adhesive High-Level Replacement Categories and Systems….Pages 144-160
Fundamental Theory for Typed Attributed Graph Transformation….Pages 161-177
Parallel Independence in Hierarchical Graph Transformation….Pages 178-193
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems….Pages 194-209
Stochastic Graph Transformation Systems….Pages 210-225
Model Checking Graph Transformations: A Comparison of Two Approaches….Pages 226-241
Election, Naming and Cellular Edge Local Computations….Pages 242-256
Embedding in Switching Classes with Skew Gains….Pages 257-270
Synchronizers for Local Computations….Pages 271-286
Constraints and Application Conditions: From Graphs to High-Level Structures….Pages 287-303
Specification Matching of Web Services Using Conditional Graph Transformation Rules….Pages 304-318
Representing First-Order Logic Using Graphs….Pages 319-335
Coproduct Transformations on Lattices of Closed Partial Orders….Pages 336-351
Parsing String Generating Hypergraph Grammars….Pages 352-367
Composition of Path Transductions….Pages 368-382
Translating Java Code to Graph Transformation Systems….Pages 383-398
Extending Graph Rewriting for Refactoring….Pages 399-415
Derivations in Object-Oriented Graph Grammars….Pages 416-430
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective….Pages 431-433
Tutorial on DNA Computing and Graph Transformation….Pages 434-436
Workshop TERMGRAPH 2004….Pages 437-438
Workshop on Graph-Based Tools….Pages 439-441
Workshop on Petri Nets and Graph Transformations….Pages 442-444
Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions….Pages 445-447
Workshop on Logic, Graph Transformations, Finite and Infinite Structures….Pages 448-450
Back Matter….Pages –