Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.
Author(s): Frank Drewes (auth.), Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg (eds.)
Series: Lecture Notes in Computer Science 1764
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 506
Tags: Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars....Pages 1-14
Tree Languages Generated by Context-Free Graph Grammars....Pages 15-29
Neighborhood Expansion Grammars....Pages 30-44
Neighborhood-Preserving Node Replacements....Pages 45-58
Complexity Issues in Switching of Graphs....Pages 59-70
The Power of Local Computations in Graphs with Initial Knowledge....Pages 71-84
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information....Pages 85-102
Double-Pushout Approach with Injective Matching....Pages 103-116
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approacht....Pages 117-130
Pushout Complements for Arbitrary Partial Algebras....Pages 131-144
Unfolding of Double-Pushout Graph Grammars is a Coreflection....Pages 145-163
Local Views on Distributed Systems and Their Communication....Pages 164-178
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems....Pages 179-193
A Framework for NLC and ESM: Local Action Systems....Pages 194-214
Redundancy and Subsumption in High-Level Replacement Systems....Pages 215-227
Knowledge Representation and Graph Transformation....Pages 228-237
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching....Pages 238-251
Conceptual Model of the Graphical Editor Gen G Ed for the Visual Definition of Visual Languages....Pages 252-266
From Formulae to Rewriting Systems....Pages 267-280
Hypergraphs as a Uniform Diagram Representation Model....Pages 281-295
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java....Pages 296-309
A Fully Abstract Model for Graph-Interpreted Temporal Logic....Pages 310-322
More About Control Conditions for Transformation Units....Pages 323-337
Integrity Constraints in the Multi-Paradigm Language PROGRES....Pages 338-351
A Framework for Adding Packages to Graph Transformation Approaches....Pages 352-367
Refinements of Graph Transformation Systems via Rule Expressions....Pages 368-382
Simple Modules for Grace ....Pages 383-395
UML Packages for PROgrammed Graph REwriting Systems....Pages 396-409
Incremental Development of Safety Properties in Petri Net Transformations....Pages 410-425
Using Graph Transformation Techniques for Integrating Information from the WWW....Pages 426-441
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism....Pages 442-454
Graph-Based Models for Managing Development Processes, Resources, and Products....Pages 455-474
Deriving Software Performance Models from Architectural Patterns by Graph Transformations....Pages 475-488
Back Matter....Pages -
