Revised Selected and Invited Papers of the Third International Symposium on Applications of Graph Transformations with Industrial Relevance
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

GRAPH
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.