Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, a...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Schürr Andy (Directeur de publication), Varró Dániel (Directeur de publication), Varró Gergely (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Applications of Graph Transformations with Industrial Relevance : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy Schürr, Dániel Varró, Gergely Varró.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham : Springer Nature
Collection : Programming and Software Engineering ; 7233
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Documents associés : Autre format: Applications of Graph Transformations with Industrial Relevance
Autre format: Applications of Graph Transformations with Industrial Relevance
  • Best Practices to Model Business Services in Complex IT Environments
  • Drools: A Rule Engine for Complex Event Processing
  • Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration
  • A Graph Transformation-Based Semantics for Deep Metamodelling
  • Reusable Graph Transformation Templates
  • Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors
  • AGG 2.0 New Features for Specifying and Analyzing Algebraic Graph Transformations
  • Integration of a Pattern-Based Layout Engine into Diagram Editors
  • Tool Demonstration of the Transformation Judge
  • Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations
  • From Graph Transformation Units via MiniSat to GrGen.NET
  • Locality in Reasoning about Graph Transformations
  • Contextual Hyperedge Replacement
  • The Added Value of Programmed Graph Transformations A Case Study from Software Configuration Management
  • A Case Study Based Comparison of ATL and SDM
  • Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata
  • Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. Drools: A Rule Engine for Complex Event Processing
  • Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration
  • A Graph Transformation-Based Semantics for Deep Metamodelling
  • Reusable Graph Transformation Templates
  • Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors
  • AGG 2.0 New Features for Specifying and Analyzing Algebraic Graph Transformations
  • Integration of a Pattern-BasedLayout Engine into Diagram Editors
  • Tool Demonstration of the Transformation Judge
  • Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations
  • From Graph Transformation Units via MiniSat to GrGen.NET
  • Locality in Reasoning about Graph Transformations
  • Contextual Hyperedge Replacement
  • The Added Value of Programmed Graph Transformations A Case Study from Software Configuration Management
  • A Case Study Based Comparison of ATL and SDM
  • Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata
  • Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations.