Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
Proceedings of the Sixth International Conference on Graph Transformations
ICGT, 2012.
@proceedings{ICGT-2012, address = "Bremen, Germany", doi = "10.1007/978-3-642-33654-6", editor = "Hartmut Ehrig and Gregor Engels and Hans-Jörg Kreowski and Grzegorz Rozenberg", isbn = "978-3-642-33653-9", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Proceedings of the Sixth International Conference on Graph Transformations}", volume = 7562, year = 2012, }
Contents (30 items)
- ICGT-2012-LopesF #design #framework #graph
- A Graph-Based Design Framework for Services (AL, JLF), pp. 1–19.
- ICGT-2012-RuscioIP #co-evolution #ecosystem #evolution #how #metamodelling
- Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems (DDR, LI, AP), pp. 20–37.
- ICGT-2012-DrechslerDGKLSSW #development
- Completeness-Driven Development (RD, MD, DG, UK, HML, JS, MS, RW), pp. 38–50.
- ICGT-2012-GadducciLV #approximate #infinity #modelling
- Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models (FG, ALL, AV), pp. 51–65.
- ICGT-2012-RensinkZ #abstraction #graph
- Pattern-Based Graph Abstraction (AR, EZ), pp. 66–80.
- ICGT-2012-KonigS #graph transformation
- Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
- ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability
- Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
- ICGT-2012-Lowe #algebra #framework #graph grammar #graph transformation
- Refined Graph Rewriting in Span-Categories — A Framework for Algebraic Graph Transformation (ML), pp. 111–125.
- ICGT-2012-OrejasBM #graph
- Borrowed Contexts for Attributed Graphs (FO, AB, NM), pp. 126–140.
- ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
- ICGT-2012-DuvalEP #graph transformation
- Graph Transformation with Focus on Incident Edges (DD, RE, FP), pp. 156–171.
- ICGT-2012-AotoK #confluence #decidability #term rewriting
- Rational Term Rewriting Revisited: Decidability and Confluence (TA, JK), pp. 172–186.
- ICGT-2012-Golas #concept #modelling
- A General Attribution Concept for Models in M-Adhesive Transformation Systems (UG), pp. 187–202.
- ICGT-2012-Heckel
- DPO Transformation with Open Maps (RH), pp. 203–217.
- ICGT-2012-HabelP
- M,N-Adhesive Transformation Systems (AH, DP), pp. 218–233.
- ICGT-2012-GhamarianR #composition #graph transformation
- Generalised Compositionality in Graph Transformation (AHG, AR), pp. 234–248.
- ICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification
- Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
- ICGT-2012-BlumeBEK #automaton #graph #implementation #invariant #performance
- Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking (CB, HJSB, DE, BK), pp. 264–278.
- ICGT-2012-KhanRH #contract #modelling #testing #visual notation
- Testing against Visual Contracts: Model-Based Coverage (TAK, OR, RH), pp. 279–293.
- ICGT-2012-SerbanutaR #concurrent #framework #graph transformation #semantics #𝕂
- A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
- ICGT-2012-KrauseG #graph transformation #probability
- Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.
- ICGT-2012-TaentzerML #co-evolution #graph
- Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution (GT, FM, YL), pp. 326–340.
- ICGT-2012-WestfechtelN #evolution #graph transformation
- Graph Transformations for Evolving Domain Knowledge (BW, MN), pp. 341–355.
- ICGT-2012-AnjorinST #graph grammar
- Construction of Integrity Preserving Triple Graph Grammars (AA, AS, GT), pp. 356–370.
- ICGT-2012-BergmannHH #database #graph transformation #incremental #modelling #relational
- Applying Incremental Graph Transformation to Existing Models in Relational Databases (GB, DH, ÁH), pp. 371–385.
- ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive
- Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.
- ICGT-2012-LauderAVS #graph grammar #performance #precedence
- Efficient Model Synchronization with Precedence Triple Graph Grammars (ML, AA, GV, AS), pp. 401–415.
- ICGT-2012-Ong #graph transformation #multi #programming language #rule-based #using
- Multi-scale Rule-Based Graph Transformation Using the Programming Language XL (YO), pp. 417–419.
- ICGT-2012-Poskitt #graph #source code #verification
- Verification of Graph Programs (CMP), pp. 420–422.
- ICGT-2012-Vandin #specification #verification
- Specification and Verification of Modal Properties for Structured Systems (AV), pp. 423–425.
10 ×#graph transformation
6 ×#graph
4 ×#graph grammar
4 ×#modelling
3 ×#framework
3 ×#performance
3 ×#verification
2 ×#co-evolution
2 ×#concurrent
2 ×#evolution
6 ×#graph
4 ×#graph grammar
4 ×#modelling
3 ×#framework
3 ×#performance
3 ×#verification
2 ×#co-evolution
2 ×#concurrent
2 ×#evolution