LEADER 06938nam 22007935 450 001 996465298803316 005 20200630230315.0 010 $a3-642-34176-4 024 7 $a10.1007/978-3-642-34176-2 035 $a(CKB)3280000000002203 035 $a(SSID)ssj0000788948 035 $a(PQKBManifestationID)11429417 035 $a(PQKBTitleCode)TC0000788948 035 $a(PQKBWorkID)10723891 035 $a(PQKB)10140580 035 $a(DE-He213)978-3-642-34176-2 035 $a(MiAaPQ)EBC3069967 035 $a(PPN)168326329 035 $a(EXLCZ)993280000000002203 100 $a20121009d2012 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aApplications of Graph Transformations with Industrial Relevance$b[electronic resource] $e4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers /$fedited by Andy Schürr, Dániel Varró, Gergely Varró 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XII, 255 p. 133 illus.) 225 1 $aProgramming and Software Engineering ;$v7233 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-34175-6 320 $aIncludes bibliographical references and author index. 327 $aBest 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. 330 $aThis 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. 410 0$aProgramming and Software Engineering ;$v7233 606 $aComputer science?Mathematics 606 $aData structures (Computer science) 606 $aSoftware engineering 606 $aAlgorithms 606 $aComputer logic 606 $aMathematical logic 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aComputer science?Mathematics. 615 0$aData structures (Computer science). 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aDiscrete Mathematics in Computer Science. 615 24$aData Structures. 615 24$aSoftware Engineering. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a004.015115 702 $aSchürr$b Andy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVarró$b Dániel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVarró$b Gergely$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aAGTIVE (Symposium) 906 $aBOOK 912 $a996465298803316 996 $aApplications of Graph Transformations with Industrial Relevance$9774080 997 $aUNISA