Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
Proceedings of the First International Conference on Graph Transformations
ICGT, 2002.

@proceedings{ICGT-2002,
	address       = "Barcelona, Spain",
	editor        = "Andrea Corradini and Hartmut Ehrig and Hans-Jörg Kreowski and Grzegorz Rozenberg",
	isbn          = "3-540-44310-X",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Conference on Graph Transformations}",
	volume        = 2505,
	year          = 2002,
}

Contents (31 items)

11 ×#graph transformation
7 ×#graph
3 ×#behaviour
3 ×#distributed
3 ×#re-engineering
2 ×#graph grammar
2 ×#named
2 ×#order
2 ×#process
2 ×#semantics

ICGT-2002-Ghezzi #challenge #distributed #evolution #re-engineering #ubiquitous

Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering (CG), pp. 1–5.

ICGT-2002-Harel #behaviour #requirements #why

Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) (DH), pp. 6–7.

ICGT-2002-Milner #graph #interactive #mobile

Bigraphs as a Model for Mobile Interaction (RM), pp. 8–13.

ICGT-2002-BaldanK #approximate #behaviour #graph transformation

Approximating the Behaviour of Graph Transformation Systems (PB, BK), pp. 14–29.

ICGT-2002-BardohlEP #architecture #specification

Transforming Specification Architectures by GenGED (RB, CE, JP), pp. 30–44.

ICGT-2002-BauderonC #graph #symmetry

Decomposing Graphs with Symmetries (MB, FC), pp. 45–59.

ICGT-2002-BeckPS #graph transformation #problem #scheduling

Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems (JCB, PP, ES), pp. 60–74.

ICGT-2002-FernandezM #call-by #graph grammar

Call-by-Value λ-Graph Rewriting Without Rewriting (MF, IM), pp. 75–89.

ICGT-2002-GerberLRSW #named

Transformation: The Missing Link of MDA (AG, ML, KR, JS, AW), pp. 90–105.

ICGT-2002-GodardMMS #algorithm #detection #distributed #graph #termination

Termination Detection of Distributed Algorithms by Graph Relabelling Systems (EG, YM, MM, AS), pp. 106–119.

ICGT-2002-GyapayHV #graph transformation #logic

Graph Transformation with Time: Causality and Logical Clocks (SG, RH, DV), pp. 120–134.

ICGT-2002-HabelP #graph transformation

Relabelling in Graph Transformation (AH, DP), pp. 135–147.

ICGT-2002-HageHW #graph

Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes (JH, TH, EW), pp. 148–160.

ICGT-2002-HeckelKT #confluence #graph transformation

Confluence of Typed Attributed Graph Transformation Systems (RH, JMK, GT), pp. 161–176.

ICGT-2002-Hoffmann #abstraction #graph transformation

Abstraction and Control for Shapely Nested Graph Transformation (BH), pp. 177–191.

ICGT-2002-Klempien-Hinrichs

Hyperedge Substitution in Basic Atom-Replacement Languages (RKH), pp. 192–206.

ICGT-2002-KnirschK #distributed #graph transformation

Distributed Graph Transformation Units (PK, SK), pp. 207–222.

ICGT-2002-KochP #constraints #graph #policy

Describing Policies with Graph Constraints and Rules (MK, FPP), pp. 223–238.

ICGT-2002-LaraV #modelling #multi #petri net #process

Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.

ICGT-2002-ReisRASN #execution #graph transformation #process #semantics #using

Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment (CALR, RQR, MMdA, HS, DJN), pp. 254–269.

ICGT-2002-MarburgerW #graph #re-engineering

Graph-Based Reengineering of Telecommunication Systems (AM, BW), pp. 270–285.

ICGT-2002-MensDJ #behaviour #formal method #program transformation

Formalising Behaviour Preserving Program Transformations (TM, SD, DJ), pp. 286–301.

ICGT-2002-MinasS #diagrams

Unparsing of Diagrams with DiaGen (MM, FS), pp. 302–316.

ICGT-2002-MontanariR #algebra #graph grammar #linear #order

Linear Ordered Graph Grammars and Their Algebraic Foundations (UM, LR), pp. 317–333.

ICGT-2002-PadbergE #graph transformation #invariant #safety

Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems (JP, BE), pp. 334–350.

ICGT-2002-Pfaltz #effectiveness #incremental #information management

Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery (JLP), pp. 351–362.

ICGT-2002-SzubaSB #concept #design #graph #named

GraCAD — Graph-Based Tool for Conceptual Design (JS, AS, AB), pp. 363–377.

ICGT-2002-Varro #semantics #uml

A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.

ICGT-2002-WooY #order

Hierarchical Vertex Ordering (SHW, SBY), pp. 393–401.

ICGT-2002-BaresiH #graph transformation #perspective #re-engineering #tutorial

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective (LB, RH), pp. 402–429.

ICGT-2002-HarjuPR #assembly #graph transformation #tutorial

Tutorial on DNA Computing and Graph Transformation — Computational Nature of Gene Assembly in Ciliates (TH, IP, GR), pp. 430–434.