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.
Author(s): Carlo Ghezzi (auth.), Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski, Grzegorz Rozenberg (eds.)
Series: Lecture Notes in Computer Science 2505
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 466
Tags: Discrete Mathematics in Computer Science; Data Structures; Software Engineering; Computation by Abstract Devices; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering....Pages 1-5
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)....Pages 6-7
Bigraphs as a Model for Mobile Interaction....Pages 8-13
Approximating the Behaviour of Graph Transformation Systems....Pages 14-29
Transforming Specification Architectures by GenGED....Pages 30-44
Decomposing Graphs with Symmetries....Pages 45-59
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems....Pages 60-74
Call-by-Value λ-Graph Rewriting Without Rewriting ....Pages 75-89
Transformation: The Missing Link of MDA....Pages 90-105
Termination Detection of Distributed Algorithms by Graph Relabelling Systems....Pages 106-119
Graph Transformation with Time: Causality and Logical Clocks....Pages 120-134
Relabelling in Graph Transformation....Pages 135-147
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes....Pages 148-160
Confluence of Typed Attributed Graph Transformation Systems....Pages 161-176
Abstraction and Control for Shapely Nested Graph Transformation....Pages 177-191
Hyperedge Substitution in Basic Atom-Replacement Languages....Pages 192-206
Distributed Graph Transformation Units....Pages 207-222
Describing Policies with Graph Constraints and Rules....Pages 223-238
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts....Pages 239-253
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment....Pages 254-269
Graph-Based Reengineering of Telecommunication Systems....Pages 270-285
Formalising Behaviour Preserving Program Transformations....Pages 286-301
Unparsing of Diagrams with DiaGen....Pages 302-316
Linear Ordered Graph Grammars and Their Algebraic Foundations....Pages 317-333
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems....Pages 334-350
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery....Pages 351-362
GraCAD – Graph-Based Tool for Conceptual Design....Pages 363-377
A Formal Semantics of UML Statecharts by Model Transition Systems....Pages 378-392
Hierarchical Vertex Ordering....Pages 393-401
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective....Pages 402-429
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates....Pages 430-434
TERMGRAPH 2002 Workshop Survey....Pages 435-439
Workshop on Graph-Based Tools....Pages 440-444
Workshop on Graph Transformation and Visual Modeling Techniques....Pages 445-449
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle....Pages 450-454
Workshop on Logic, Graph Transformations and Discrete Structures....Pages 455-457
