Applications of Graph Transformations with Industrial Relevance

4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers

Häftad, Engelska, 2012

AvAndy Schürr,Dániel Varró,Gergely Varró,Andy Schurr,Daniel Varro,Gergely Varro

639 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2012-09-28
Mått155 x 235 x 15 mm
Vikt411 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor255
Upplaga2012
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642341755

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Diskret matematik inom Naturvetenskap och teknik
Databaser inom Data och it

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.