Andy Schürr, Dániel Varró, Gergely Varró
Revised Selected and Invited Papers of the Fourth International Symposium on Applications of Graph Transformations with Industrial Relevance
AGTIVE, 2011.

@proceedings{AGTIVE-2011,
	address       = "Budapest, Hungary",
	doi           = "10.1007/978-3-642-34176-2",
	editor        = "Andy Schürr and Dániel Varró and Gergely Varró",
	isbn          = "978-3-642-34175-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected and Invited Papers of the Fourth International Symposium on Applications of Graph Transformations with Industrial Relevance}",
	volume        = 7233,
	year          = 2011,
}

Contents (20 items)

9 ×#graph transformation
3 ×#diagrams
3 ×#graph grammar
2 ×#automation
2 ×#case study
2 ×#concept
2 ×#consistency
2 ×#editing
2 ×#metamodelling
2 ×#specification

AGTIVE-2011-Kocsis

Best Practices to Model Business Services in Complex IT Environments (ZK), p. 1.

AGTIVE-2011-Proctor #named

Drools: A Rule Engine for Complex Event Processing (MP), p. 2.

AGTIVE-2011-MantzJT #concept #consistency #evolution #graph transformation #metamodelling #migration

Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration (FM, SJ, GT), pp. 3–18.

AGTIVE-2011-RossiniLGRL #graph transformation #metamodelling #semantics

A Graph Transformation-Based Semantics for Deep Metamodelling (AR, JdL, EG, AR, YL), pp. 19–34.

AGTIVE-2011-LaraG #graph transformation #reuse

Reusable Graph Transformation Templates (JdL, EG), pp. 35–50.

AGTIVE-2011-ScholerS #3d #architecture #automation #re-engineering #towards

Towards an Automated 3D Reconstruction of Plant Architecture (FS, VS), pp. 51–64.

AGTIVE-2011-StroblM #diagrams #editing #generative #graph transformation #state machine

Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors (TS, MM), pp. 65–80.

AGTIVE-2011-RungeET #algebra #graph transformation #specification

AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations (OR, CE, GT), pp. 81–88.

AGTIVE-2011-MaierM #diagrams #editing #integration #layout

Integration of a Pattern-Based Layout Engine into Diagram Editors (SM, MM), pp. 89–96.

AGTIVE-2011-MazanekRM #tool support

Tool Demonstration of the Transformation Judge (SM, CR, MM), pp. 97–104.

AGTIVE-2011-GalvaoZRWA #analysis #graph #knowledge-based

Knowledge-Based Graph Exploration Analysis (IG, EZ, AR, LW, MA), pp. 105–120.

AGTIVE-2011-FurstMM #graph grammar #heuristic #induction #process

Graph Grammar Induction as a Parser-Controlled Heuristic Search Process (LF, MM, VM), pp. 121–136.

AGTIVE-2011-TichyK #adaptation #graph transformation #self

Planning Self-adaption with Graph Transformations (MT, BK), pp. 137–152.

AGTIVE-2011-ErmlerKKT #graph transformation

From Graph Transformation Units via MiniSat to GrGen.NET (ME, HJK, SK, CvT), pp. 153–168.

AGTIVE-2011-Strecker #graph transformation #locality #reasoning

Locality in Reasoning about Graph Transformations (MS), pp. 169–181.

AGTIVE-2011-DrewesHM

Contextual Hyperedge Replacement (FD, BH, MM), pp. 182–197.

AGTIVE-2011-BuchmannWW #case study #configuration management #graph transformation

The Added Value of Programmed Graph Transformations — A Case Study from Software Configuration Management (TB, BW, SW), pp. 198–209.

AGTIVE-2011-PatzinaP #atl #case study #comparison

A Case Study Based Comparison of ATL and SDM (SP, LP), pp. 210–221.

AGTIVE-2011-GreenyerR #automaton #concept #diagrams #game studies #graph grammar #sequence chart #specification

Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata (JG, JR), pp. 222–237.

AGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing

Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.