John L. Pfaltz, Manfred Nagl, Boris Böhlen
Revised Selected and Invited Papers of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance
AGTIVE, 2003.

@proceedings{AGTIVE-2003,
	address       = "Charlottesville, Virginia, USA",
	editor        = "John L. Pfaltz and Manfred Nagl and Boris Böhlen",
	isbn          = "3-540-22120-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected and Invited Papers of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance}",
	volume        = 3062,
	year          = 2003,
}

Contents (40 items)

13 ×#graph transformation
8 ×#graph
8 ×#specification
6 ×#modelling
6 ×#named
5 ×#graph grammar
5 ×#tool support
4 ×#design
4 ×#process
3 ×#analysis

AGTIVE-2003-GalaQT #graph transformation #navigation

Graph Transformation for Merging User Navigation Histories (MMG, EQ, LT), pp. 1–14.

AGTIVE-2003-QemaliT #graph transformation #towards #validation #web

Towards Validation of Session Management in Web Applications based on Graph Transformation (AQ, GT), pp. 15–29.

AGTIVE-2003-BakewellPR #graph #pointer #reduction #specification

Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.

AGTIVE-2003-Bohlen #graph #modelling

Specific Graph Models and Their Mappings to a Common Model (BB), pp. 45–60.

AGTIVE-2003-GeigerZ #graph transformation #testing

Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (LG, AZ), pp. 61–74.

AGTIVE-2003-SzubaOS #concept #design #graph #on the

On Graphs in Conceptual Engineering Design (JS, AO, AS), pp. 75–89.

AGTIVE-2003-KraftN #concept #design #specification #tool support

Parameterized Specification of Conceptual Design Tools in Civil Engineering (BK, MN), pp. 90–105.

AGTIVE-2003-DepkeHH #design #graph transformation #modelling

Design of an Agent-Oriented Modeling Language Based on Graph Transformation (RD, JHH, RH), pp. 106–119.

AGTIVE-2003-DottiRS #analysis #behaviour #fault #graph grammar #specification #using

Specification and Analysis of Fault Behaviours Using Graph Grammars (FLD, LR, OMdS), pp. 120–133.

AGTIVE-2003-AssmannL #graph grammar #standard #tool support

Integrating Graph Rewriting and Standard Software Tools (UA, JL), pp. 134–148.

AGTIVE-2003-AmselJ #aspect-oriented #component #graph transformation

Expressing Component-Relating Aspects with Graph Transformations (AA, DJ), pp. 149–162.

AGTIVE-2003-Fischer #graph grammar #modelling

Modeling Discontinuous Constituents with Hypergraph Grammars (IF), pp. 163–169.

AGTIVE-2003-Gatzemeier #authoring #graph transformation

Authoring Support Based on User-Serviceable Graph Transformation (FHG), pp. 170–185.

AGTIVE-2003-Rotschke #graph transformation #re-engineering #using

Re-engineering a Medical Imaging System Using Graph Transformations (TR), pp. 185–201.

AGTIVE-2003-MarburgerW #analysis #behaviour #graph transformation

Behavioral Analysis of Telecommunication Systems by Graph Transformations (AM, BW), pp. 202–219.

AGTIVE-2003-BottoniPT #distributed #graph transformation #refactoring #specification

Specifying Integrated Refactoring with Distributed Graph Transformations (PB, FPP, GT), pp. 220–235.

AGTIVE-2003-HaaseMBG #agile #architecture #graph grammar #prototype

A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars (TH, OM, BB, FHG), pp. 236–242.

AGTIVE-2003-KarsaiA #architecture #graph transformation #modelling

Graph Transformations in OMG’s Model-Driven Architecture: (GK, AA), pp. 243–259.

AGTIVE-2003-FishH #constraints #diagrams

Computing Reading Trees for Constraint Diagrams (AF, JH), pp. 260–274.

AGTIVE-2003-CordesHK #collaboration #diagrams #interactive #sequence chart #uml

UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.

AGTIVE-2003-LaraGV #analysis #graph transformation #hybrid #metamodelling #model checking

Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.

AGTIVE-2003-AgnarssonEH #graph

Proper Down-Coloring Simple Acyclic Digraphs (GA, ÁSE, MMH), pp. 299–312.

AGTIVE-2003-SmithPS #algorithm #specification

Local Specification of Surface Subdivision Algorithms (CS, PP, FFS), pp. 313–327.

AGTIVE-2003-Jamison #graph

Transforming Toric Digraphs (REJ), pp. 328–333.

AGTIVE-2003-HellerSW #development #evolution #graph #process #specification

Graph-Based Specification of a Management System for Evolving Development Processes (MH, AS, BW), pp. 334–351.

AGTIVE-2003-HellerJ #development #distributed #graph #process #tool support

Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes (MH, DJ), pp. 352–368.

AGTIVE-2003-Rising #graph grammar #graph transformation #multi #semantics

MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (HKR), pp. 369–382.

AGTIVE-2003-Klempien-HinrichsMT #3d

Collage Grammars for Collision-Free Growing of Objects in 3D Scenes (RKH, TM, CvT), pp. 383–397.

AGTIVE-2003-Minas #editing #generative #named #specification #visual notation

VisualDiaGen — A Tool for Visually Specifying and Generating Visual Editors (MM), pp. 398–412.

AGTIVE-2003-BardohlEW #modelling #named #visual notation

GenGED — A Visual Definition Tool for Visual Modeling Environments (RB, CE, IW), pp. 413–419.

AGTIVE-2003-Gatzemeier03a #authoring #graph #named

CHASID — A Graph-Based Authoring Support System (FHG), pp. 420–426.

AGTIVE-2003-HellerJ03a #development #process

Interorganizational Management of Development Processes (MH, DJ), pp. 427–433.

AGTIVE-2003-Kraft #concept #design #tool support

Conceptual Design Tools for Civil Engineering (BK), pp. 434–439.

AGTIVE-2003-Westfechtel #named #reverse engineering #tool support

E-CARES — Telecommunication Re- and Reverse Engineering Tools (AM, BW), pp. 440–445.

AGTIVE-2003-Taentzer #graph transformation #modelling #named #validation

AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.

AGTIVE-2003-HellerSW03a #evolution #process

Process Evolution Support in the AHEAD System (MH, AS, BW), pp. 454–460.

AGTIVE-2003-HaaseMBG03a #architecture #integration #named #refinement

Fire3: Architecture Refinement for A-posteriori Integration (TH, OM, BB, FHG), pp. 461–467.

AGTIVE-2003-AssmannL03a

A Demo of OptimixJ (UA, JL), pp. 468–472.

AGTIVE-2003-Minas03a #editing #specification #visual notation

Visual Specification of Visual Editors with VisualDiaGen (MM), pp. 473–478.

AGTIVE-2003-Rensink #generative

The GROOVE Simulator: A Tool for State Space Generation (AR), pp. 479–485.