| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7233 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7233.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Best Practices to Model Business Services in Complex IT Environments / Zsolt Kocsis -- Drools: A Rule Engine for Complex Event Processing / Mark Proctor -- Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration / Florian Mantz, Stefan Jurack and Gabriele Taentzer -- A Graph Transformation-Based Semantics for Deep Metamodelling / Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle and Yngve Lamo -- Reusable Graph Transformation Templates / Juan de Lara and Esther Guerra -- Towards an Automated 3D Reconstruction of Plant Architecture / Florian Schöler and Volker Steinhage -- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors / Torsten Strobl and Mark Minas -- AGG 2.0 -- New Features for Specifying and Analyzing Algebraic Graph Transformations / Olga Runge, Claudia Ermel and Gabriele Taentzer -- Integration of a Pattern-Based Layout Engine into Diagram Editors / Sonja Maier and Mark Minas -- Tool Demonstration of the Transformation Judge / Steffen Mazanek, Christian Rutetzki and Mark Minas -- Knowledge-Based Graph Exploration Analysis / Ismênia Galvão, Eduardo Zambon, Arend Rensink, Lesley Wevers and Mehmet Aksit -- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process / Luka Fürst, Marjan Mernik and Viljan Mahnič -- Planning Self-adaption with Graph Transformations / Matthias Tichy and Benjamin Klöpper -- From Graph Transformation Units via MiniSat to GrGen.NET / Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske and Caroline von Totth -- Locality in Reasoning about Graph Transformations / Martin Strecker -- Contextual Hyperedge Replacement / Frank Drewes, Berthold Hoffmann and Mark Minas -- The Added Value of Programmed Graph Transformations -- A Case Study from Software Configuration Management / Thomas Buchmann, Bernhard Westfechtel and Sabine Winetzhammer -- A Case Study Based Comparison of ATL and SDM / Sven Patzina and Lars Patzina -- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata / Joel Greenyer and Jan Rieke -- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations / Stephan Hildebrandt, Leen Lambers, Holger Giese, Dominic Petrick and Ingo Richter |
| Summary |
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 |
| Analysis |
Computer science |
|
Software engineering |
|
Data structures (Computer science) |
|
Computer software |
|
Logic design |
|
Computational complexity |
|
Discrete Mathematics in Computer Science |
|
Algorithm Analysis and Problem Complexity |
|
Logics and Meanings of Programs |
|
Mathematical Logic and Formal Languages |
|
computerwetenschappen |
|
computer sciences |
|
wiskunde |
|
mathematics |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
gegevensstructuren |
|
data structures |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Computer science -- Congresses
|
|
Rewriting systems (Computer science) -- Congresses
|
|
Software engineering -- Congresses
|
|
Informatique.
|
|
Computer science
|
|
Rewriting systems (Computer science)
|
|
Software engineering
|
| Genre/Form |
Conference papers and proceedings
|
|
Software.
|
| Form |
Electronic book
|
| Author |
Schürr, Andreas.
|
|
Varró, Dániel
|
|
Varró, Gergely
|
| ISBN |
9783642341762 |
|
3642341764 |
|
3642341756 |
|
9783642341755 |
|
