Andy Schürr, Manfred Nagl, Albert Zündorf
Revised Selected and Invited Papers of the Third International Symposium on Applications of Graph Transformations with Industrial Relevance
AGTIVE, 2007.

@proceedings{AGTIVE-2007,
	address       = "Kassel, Germany",
	editor        = "Andy Schürr and Manfred Nagl and Albert Zündorf",
	isbn          = "978-3-540-89019-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected and Invited Papers of the Third International Symposium on Applications of Graph Transformations with Industrial Relevance}",
	volume        = 5088,
	year          = 2007,
}

Contents (45 items)

13 ×#graph transformation
9 ×#modelling
7 ×#graph grammar
5 ×#graph
5 ×#model transformation
5 ×#using
4 ×#case study
4 ×#generative
4 ×#tool support
3 ×#algorithm

AGTIVE-2007-KoehlerGKPRVV #assurance #development #model transformation #quality

Combining Quality Assurance and Model Transformations in Business-Driven Development (JK, TG, JMK, CP, KR, JV, HV), pp. 1–16.

AGTIVE-2007-EngelsGSW #consistency #contract #modelling #process #using #visual notation #web #web service

Assuring Consistency of Business Process Models and Web Services Using Visual Contracts (GE, BG, CS, HW), pp. 17–31.

AGTIVE-2007-AschenbrennerG #graph #graph grammar #using

Transforming Scene Graphs Using Triple Graph Grammars — A Practice Report (NA, LG), pp. 32–43.

AGTIVE-2007-LeenheerM #collaboration #evolution #graph transformation #ontology #using

Using Graph Transformation to Support Collaborative Ontology Evolution (PDL, TM), pp. 44–58.

AGTIVE-2007-Weber-Jahnke #graph grammar #information management #modelling

Modelling of Longitudinal Information Systems with Graph Grammars (JHWJ), pp. 59–65.

AGTIVE-2007-MaierM #algorithm #editing #layout #metamodelling #modelling

A Generic Layout Algorithm for Meta-model Based Editors (SM, MM), pp. 66–81.

AGTIVE-2007-AndresLG #domain-specific language #visual notation

Domain Specific Languages with Graphical and Textual Views (FPA, JdL, EG), pp. 82–97.

AGTIVE-2007-TaentzerCSE #editing #generative

Generating Domain-Specific Model Editors with Complex Editing Commands (GT, AC, RS, CE), pp. 98–103.

AGTIVE-2007-TaentzerMM #graph transformation #refactoring #specification

Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation (GT, DM, TM), pp. 104–119.

AGTIVE-2007-RangerGH #graph #interface

Defining Abstract Graph Views as Module Interfaces (UR, KG, MH), pp. 120–135.

AGTIVE-2007-SyrianiV #graph grammar

Programmed Graph Rewriting with DEVS (ES, HV), pp. 136–151.

AGTIVE-2007-KniemeyerBHK #approach #architecture #biology #graph transformation #parallel #relational

Relational Growth Grammars — A Parallel Graph Transformation Approach with Applications in Biology and Architecture (OK, GB, RH, WK), pp. 152–167.

AGTIVE-2007-DenningerGG

Applications and Rewriting of Omnigraphs — Exemplified in the Domain of MDD (OD, TG, RG), pp. 168–183.

AGTIVE-2007-MolEP #proving #reduction

A Single-Step Term-Graph Reduction System for Proof Assistants (MdM, MCJDvE, RP), pp. 184–200.

AGTIVE-2007-DrewesHJME #graph transformation

Shaped Generic Graph Transformation (FD, BH, DJ, MM, NVE), pp. 201–216.

AGTIVE-2007-AnandK #assembly #generative #graph transformation

Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code (CKA, WK), pp. 217–232.

AGTIVE-2007-SchosserG #graph grammar #hardware #optimisation

Graph Rewriting for Hardware Dependent Program Optimizations (AS, RG), pp. 233–248.

AGTIVE-2007-BoddenV #automaton #monitoring #runtime #specification #timeline

Transforming Timeline Specifications into Automata for Runtime Monitoring (EB, HV), pp. 249–264.

AGTIVE-2007-ErmelE #analysis #configuration management #simulation #visualisation

Visualization, Simulation and Analysis of Reconfigurable Systems (CE, KE), pp. 265–280.

AGTIVE-2007-KreowskiK #community #delivery

Communities of Autonomous Units for Pickup and Delivery Vehicle Routing (HJK, SK), pp. 281–296.

AGTIVE-2007-MatznerMS #automation #graph #performance

Efficient Graph Matching with Application to Cognitive Automation (AM, MM, AS), pp. 297–312.

AGTIVE-2007-AmelunxenLSS #graph transformation #guidelines #modelling

Checking and Enforcement of Modeling Guidelines with Graph Transformations (CA, EL, AS, IS), pp. 313–328.

AGTIVE-2007-GronmoM #diagrams #modelling #process #uml

Aspect Diagrams for UML Activity Models (RG, BMP), pp. 329–344.

AGTIVE-2007-BuchmannDUW #case study #comparative #development #graph transformation #modelling

Model-Driven Software Development with Graph Transformations: A Comparative Case Study (TB, AD, SU, BW), pp. 345–360.

AGTIVE-2007-BauerDTW #analysis #constraints #ocl #synthesis #verification

Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.

AGTIVE-2007-Kurtev #model transformation #qvt #standard #state of the art #transformation language

State of the Art of QVT: A Model Transformation Language Standard (IK), pp. 377–393.

AGTIVE-2007-Weinell #adaptation #query

Adaptable Support for Queries and Transformations for the DRAGOS Graph-Database (EW), pp. 394–409.

AGTIVE-2007-BalasubramanianNNNSTK #model transformation

Applying a Grouping Operator in Model Transformations (DB, AN, SN, BN, FS, RT, GK), pp. 410–425.

AGTIVE-2007-Kortgen #modelling

Modeling Successively Connected Repetitive Subgraphs (ATK), pp. 426–441.

AGTIVE-2007-FussT #algorithm #graph transformation #model transformation #simulation #transformation language

Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.

AGTIVE-2007-VarroHV #graph #pattern matching #recursion

Recursive Graph Pattern Matching (GV, ÁH, DV), pp. 456–470.

AGTIVE-2007-BatzKG #evaluation #graph #pattern matching

A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching (GVB, MK, RG), pp. 471–486.

AGTIVE-2007-RensinkT #contest #graph transformation

AGTIVE 2007 Graph Transformation Tool Contest (AR, GT), pp. 487–492.

AGTIVE-2007-RensinkDEJKLMSZ #case study #graph transformation #named #tool support

Ludo: A Case Study for Graph Transformation Tools (AR, AD, CE, SJ, OK, JdL, SM, TS, AZ), pp. 493–513.

AGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support

Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.

AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.

AGTIVE-2007-BiermannEEKT #emf #framework #model transformation

The EMF Model Transformation Framework (EB, KE, CE, CK, GT), pp. 566–567.

AGTIVE-2007-GeissK #graph grammar #performance

GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool (RG, MK), pp. 568–569.

AGTIVE-2007-KniemeyerK #framework #modelling #platform #programming language

The Modelling Platform GroIMP and the Programming Language XL (OK, WK), pp. 570–572.

AGTIVE-2007-AmelunxenKRS #metamodelling

Metamodeling with MOFLON (CA, AK, TR, AS), pp. 573–574.

AGTIVE-2007-RangerW #graph grammar

The Graph Rewriting Language and Environment PROGRES (UR, EW), pp. 575–576.

AGTIVE-2007-HeerRK #algorithm #graph grammar #integration #ontology

Algorithm and Tool for Ontology Integration Based on Graph Rewriting (TH, DR, BK), pp. 577–582.

AGTIVE-2007-BiermannEET #eclipse #editing #generative #plugin #using

Generating Eclipse Editor Plug-Ins Using Tiger (EB, KE, CE, GT), pp. 583–584.

AGTIVE-2007-GogollaBD #graph transformation #ocl #using

From Graph Transformation to OCL Using USE (MG, FB, DHD), pp. 585–586.

AGTIVE-2007-LevendovszkyLMM #mobile #tool support

Introducing the VMTS Mobile Toolkit (TL, LL, GM, TM), pp. 587–592.