↓ Skip to main content

Applications of Graph Transformations with Industrial Relevance

Overview of attention for book
Cover of 'Applications of Graph Transformations with Industrial Relevance'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Best Practices to Model Business Services in Complex IT Environments
  3. Altmetric Badge
    Chapter 2 Drools: A Rule Engine for Complex Event Processing
  4. Altmetric Badge
    Chapter 3 Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration
  5. Altmetric Badge
    Chapter 4 A Graph Transformation-Based Semantics for Deep Metamodelling
  6. Altmetric Badge
    Chapter 5 Reusable Graph Transformation Templates
  7. Altmetric Badge
    Chapter 6 Towards an Automated 3D Reconstruction of Plant Architecture
  8. Altmetric Badge
    Chapter 7 Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors
  9. Altmetric Badge
    Chapter 8 AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations
  10. Altmetric Badge
    Chapter 9 Integration of a Pattern-Based Layout Engine into Diagram Editors
  11. Altmetric Badge
    Chapter 10 Tool Demonstration of the Transformation Judge
  12. Altmetric Badge
    Chapter 11 Knowledge-Based Graph Exploration Analysis
  13. Altmetric Badge
    Chapter 12 Graph Grammar Induction as a Parser-Controlled Heuristic Search Process
  14. Altmetric Badge
    Chapter 13 Planning Self-adaption with Graph Transformations
  15. Altmetric Badge
    Chapter 14 From Graph Transformation Units via MiniSat to GrGen.NET
  16. Altmetric Badge
    Chapter 15 Locality in Reasoning about Graph Transformations
  17. Altmetric Badge
    Chapter 16 Contextual Hyperedge Replacement
  18. Altmetric Badge
    Chapter 17 The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management
  19. Altmetric Badge
    Chapter 18 A Case Study Based Comparison of ATL and SDM
  20. Altmetric Badge
    Chapter 19 Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata
  21. Altmetric Badge
    Chapter 20 Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations
Attention for Chapter 15: Locality in Reasoning about Graph Transformations
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Locality in Reasoning about Graph Transformations
Chapter number 15
Book title
Applications of Graph Transformations with Industrial Relevance
Published by
Springer, Berlin, Heidelberg, October 2011
DOI 10.1007/978-3-642-34176-2_15
Book ISBNs
978-3-64-234175-5, 978-3-64-234176-2
Authors

Martin Strecker

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Researcher 1 50%
Readers by discipline Count As %
Computer Science 2 100%