Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998...
| Other Authors: | , , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2002, 2002
|
| Edition: | 1st ed. 2002 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Hyperedge Substitution in Basic Atom-Replacement Languages
- Distributed Graph Transformation Units
- Describing Policies with Graph Constraints and Rules
- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment
- Graph-Based Reengineering of Telecommunication Systems
- Formalising Behaviour Preserving Program Transformations
- Unparsing of Diagrams with DiaGen
- Linear Ordered Graph Grammars and Their Algebraic Foundations
- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery
- GraCAD – Graph-Based Tool for Conceptual Design
- A Formal Semantics of UML Statecharts by ModelTransition Systems
- Hierarchical Vertex Ordering
- Tutorials and Workshops
- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
- Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates
- TERMGRAPH 2002 Workshop Survey
- Workshop on Graph-Based Tools
- Workshop on Graph Transformation and Visual Modeling Techniques
- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle
- Workshop on Logic, Graph Transformations and Discrete Structures
- Invited Papers
- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering
- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
- Bigraphs as a Model for Mobile Interaction
- Contributed Papers
- Approximating the Behaviour of Graph Transformation Systems
- Transforming Specification Architectures by GenGED
- Decomposing Graphs with Symmetries
- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems
- Call-by-Value ?-Graph Rewriting Without Rewriting
- Transformation: The Missing Link of MDA
- Termination Detection of Distributed Algorithms by Graph Relabelling Systems
- Graph Transformation with Time: Causality and Logical Clocks
- Relabelling in Graph Transformation
- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes
- Confluence of Typed Attributed Graph Transformation Systems
- Abstraction and Control for Shapely Nested Graph Transformation