Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Front Cover
Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
Springer Science & Business Media, Sep 27, 2002 - Computers - 466 pages
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). ICGT 2002 was held in Barcelona (Spain), October 7–12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics.
 

What people are saying - Write a review

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

Contents

Challenges for Software Engineering
1
Can Behavioral Requirements Be Executed? And Why Would We Want to Do So?
6
Bigraphs as a Model for Mobile Interaction
8
Approximating the Behaviour of Graph Transformation Systems
14
Transforming Specification Architectures by GenGED
30
Decomposing Graphs with Symmetries
45
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems
60
CallbyValue λGraph Rewriting Without Rewriting
75
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment
254
GraphBased Reengineering of Telecommunication Systems
270
Formalising Behaviour Preserving Program Transformations
286
Unparsing of Diagrams with DiaGen
302
Linear Ordered Graph Grammars and Their Algebraic Foundations
317
Rule Invariants in Graph Transformation Systems for Analyzing SafetyCritical Systems
334
A Key to Effective Knowledge Discovery
351
GraCAD GraphBased Tool for Conceptual Design
363

The Missing Link of MDA
90
Termination Detection of Distributed Algorithms by Graph Relabelling Systems
106
Causality and Logical Clocks
120
Relabelling in Graph Transformation
135
Euler Graphs TriangleFree Graphs and Bipartite Graphs in Switching Classes
148
Confluence of Typed Attributed Graph Transformation Systems
161
Abstraction and Control for Shapely Nested Graph Transformation
177
Hyperedge Substitution in Basic AtomReplacement Languages
192
Distributed Graph Transformation Units
207
Describing Policies with Graph Constraints and Rules
223
Computer Aided Multiparadigm Modelling to Process PetriNets and Statecharts
239
A Formal Semantics of UML Statecharts by Model Transition Systems
378
Hierarchical Vertex Ordering
393
A Software Engineering Perspective
402
Tutorial on DNA Computing and Graph Transformation Computational Nature of Gene Assembly in Ciliates
430
TERMGRAPH 2002 Workshop Survey
435
Workshop on GraphBased Tools
440
Workshop on Graph Transformation and Visual Modeling Techniques
445
Towards Uniform Support throughout the Software LifeCycle
450
Workshop on Logic Graph Transformations and Discrete Structures
455
Author Index
458
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information