Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers - Lecture Notes in Computer Science - Andy Sch Rr - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642341755 - 28 de septiembre de 2012
En caso de que portada y título no coincidan, el título será el correcto

Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers - Lecture Notes in Computer Science 2012 edition

Precio
$ 50,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jul. - 4 de ago.
Añadir a tu lista de deseos de iMusic

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.


Marc Notes: Includes bibliographical references and author index. Table of Contents: 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-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."Publisher Marketing: 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.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 28 de septiembre de 2012
ISBN13 9783642341755
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 255
Dimensiones 155 × 235 × 14 mm   ·   385 g
Lengua Alemán  
Editor Schurr, Andy
Editor Varro, Daniel
Editor Varro, Gergely

Mere med samme udgiver