An edition of Applications of Graph Transformations with Industrial Relevance
(2008)
Applications of Graph Transformations with Industrial Relevance
4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
by Andy Schürr
Share
×Close
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, and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations.
Publish Date
2012
Publisher
Springer Berlin Heidelberg,
Imprint: Springer
Language
English
Pages
255
Check nearby libraries
Buy this book
Subjects
Mathematical Logic and Formal Languages, Computational complexity, Discrete Mathematics in Computer Science, Software engineering, Algorithm Analysis and Problem Complexity, Logic design, Data Structures, Logics and Meanings of Programs, Data structures (Computer science), Computer software, Computer science, Congresses, Rewriting systems (Computer science), Machine theory| Edition | Availability ↑ |
|---|---|
1
Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
2012, Springer Berlin Heidelberg, Imprint: Springer
electronic resource :
in English
3642341764 9783642341762
|
aaaa
|
2
Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, ...
Sep 28, 2012, Springer
paperback
3642341756 9783642341755
|
zzzz
|
3
Applications of Graph Transformations with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
2008, Springer London, Limited
in English
3540890203 9783540890201
|
zzzz
|
Book Details
Table of Contents
<p>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. </p>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.
^^
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| December 25, 2021 | Edited by ImportBot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| June 28, 2019 | Created by MARC Bot | import new book |