Eintrag weiter verarbeiten
Online-Ressource

Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

Gespeichert in:

Personen und Körperschaften: Schürr, Andy (VerfasserIn), Varró, Dániel (Sonstige), Varró, Gergely (Sonstige)
Titel: Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers/ edited by Andy Schürr, Dániel Varró, Gergely Varró
Format: E-Book Konferenzbericht
Sprache: Englisch
veröffentlicht:
Berlin, Heidelberg Springer 2012
Gesamtaufnahme: SpringerLink
Lecture notes in computer science ; 7233
Schlagwörter:
Data structures (Computer science)
Computer software
Logic design
Computational complexity
Computer science
Software engineering
Computer Science
Discrete mathematics.
Algorithms.
Artificial intelligence
Machine theory.
Konferenzschrift > 2011 > Budapest
Konferenzschrift
Buchausg. u.d.T.: Applications of graph transformations with industrial relevance, Berlin : Springer, 2012, XI, 255 S.
Quelle: Verbunddaten SWB
Zugangsinformationen: Elektronischer Volltext - Campuslizenz
LEADER 08741cam a22011892 4500
001 0-1651886822
003 DE-627
005 20240122105011.0
007 cr uuu---uuuuu
008 121115s2012 gw |||||o 00| ||eng c
020 |a 9783642341762  |9 978-3-642-34176-2 
024 7 |a 10.1007/978-3-642-34176-2  |2 doi 
035 |a (DE-627)1651886822 
035 |a (DE-576)375373829 
035 |a (DE-599)BSZ375373829 
035 |a (OCoLC)820500337 
035 |a (DE-He213)978-3-642-34176-2 
035 |a (EBP)040545652 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-DE  |c XA-DE-BE 
050 0 |a QA76.9.M35 
050 0 |a QA75.5 
072 7 |a MAT008000  |2 bisacsh 
072 7 |a PBD  |2 bicssc 
072 7 |a UYAM  |2 bicssc 
072 7 |a COM018000  |2 bisacsh 
084 |a SS 4800  |q SEPA  |2 rvk  |0 (DE-625)rvk/143528: 
084 |a 54.80  |2 bkl 
084 |a 54.52  |2 bkl 
084 |a 54.10  |2 bkl 
100 1 |a Schürr, Andy  |4 aut 
245 1 0 |a Applications of Graph Transformations with Industrial Relevance  |b 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers  |c edited by Andy Schürr, Dániel Varró, Gergely Varró 
264 1 |a Berlin, Heidelberg  |b Springer  |c 2012 
300 |a Online-Ressource (XII, 255 p. 133 illus, digital) 
336 |a Text  |b txt  |2 rdacontent 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 1 |a Lecture Notes in Computer Science  |v 7233 
490 0 |a SpringerLink  |a Bücher 
500 |a Literaturangaben 
505 8 0 |a 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. 
520 |a 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. 
650 0 |a Data structures (Computer science) 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Computational complexity 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Data structures (Computer science) 
650 0 |a Computer software 
650 0 |a Logic design 
650 0 |a Computational complexity 
650 0 |a Computer science 
650 0 |a Software engineering 
650 0 |a Computer Science 
650 0 |a Discrete mathematics. 
650 0 |a Algorithms. 
650 0 |a Artificial intelligence 
650 0 |a Machine theory. 
655 7 |a Konferenzschrift  |y 2011  |z Budapest  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
689 0 0 |D s  |0 (DE-588)4274073-3  |0 (DE-627)10447114X  |0 (DE-576)210703784  |a Graphersetzungssystem  |2 gnd 
689 0 |5 DE-101 
700 1 |a Varró, Dániel  |d 1977-  |0 (DE-588)1024760464  |0 (DE-627)720521610  |0 (DE-576)369456262  |4 oth 
700 1 |a Varró, Gergely  |4 oth 
776 1 |z 9783642341755 
776 0 8 |i Buchausg. u.d.T.  |t Applications of graph transformations with industrial relevance  |d Berlin : Springer, 2012  |h XI, 255 S.  |w (DE-627)1604782404  |w (DE-576)392094312  |z 9783642341755  |z 3642341756 
830 0 |a Lecture notes in computer science  |v 7233  |9 7233  |w (DE-627)316228877  |w (DE-576)093890923  |w (DE-600)2018930-8  |x 1611-3349  |7 ns 
856 4 0 |u https://doi.org/10.1007/978-3-642-34176-2  |m X:SPRINGER  |x Verlag  |z lizenzpflichtig  |3 Volltext 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-34176-2  |x Resolving-System  |z lizenzpflichtig  |3 Volltext 
856 4 2 |u https://swbplus.bsz-bw.de/bsz375373829cov.jpg  |m V:DE-576  |m X:springer  |q image/jpeg  |v 20130404105416  |3 Cover 
856 4 2 |u http://deposit.d-nb.de/cgi-bin/dokserv?id=4121902&prov=M&dok_var=1&dok_ext=htm  |m X: MVB  |q text/html  |v 2013-05-01  |x Verlag  |3 Inhaltstext 
889 |w (DE-627)729063704 
912 |a ZDB-2-LNC  |b 2012 
912 |a ZDB-2-SCS  |b 2012 
912 |a ZDB-2-SEB 
912 |a ZDB-2-SXCS  |b 2012 
912 |a ZDB-2-SEB  |b 2012 
935 |h GBV  |i ExPruef 
936 r v |a SS 4800  |b Lecture notes in computer science  |k Informatik  |k Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen  |k Schriftenreihen (indiv. Sign.)  |k Lecture notes in computer science  |0 (DE-627)1271461242  |0 (DE-625)rvk/143528:  |0 (DE-576)201461242 
936 b k |a 54.80  |j Angewandte Informatik  |q SEPA  |0 (DE-627)106417967 
936 b k |a 54.52  |j Software engineering  |q SEPA  |0 (DE-627)106418882 
936 b k |a 54.10  |j Theoretische Informatik  |q SEPA  |0 (DE-627)106418815 
951 |a BO 
900 |a Varró Dániel 
950 |a Graph rewriting system 
950 |a Graph transformation system 
950 |a Graphtransformationssystem 
950 |a Reduktionssystem 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-34176-2  |9 DE-14 
852 |a DE-14  |x epn:3354584548  |z 2012-11-15T15:09:04Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-34176-2  |9 DE-15 
852 |a DE-15  |x epn:3354584599  |z 2012-11-15T15:09:04Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-34176-2  |9 DE-Ch1 
852 |a DE-Ch1  |x epn:3354584661  |z 2012-11-15T15:09:04Z 
976 |h Elektronischer Volltext - Campuslizenz 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-34176-2  |z Zum Online-Dokument  |9 DE-Zi4 
852 |a DE-Zi4  |x epn:3354584718  |z 2012-11-15T15:09:04Z 
856 4 0 |u http://dx.doi.org/10.1007/978-3-642-34176-2  |9 DE-520 
852 |a DE-520  |x epn:3354584785  |z 2012-11-15T15:09:04Z 
980 |a 1651886822  |b 0  |k 1651886822  |o 375373829 
openURL url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Applications+of+Graph+Transformations+with+Industrial+Relevance%3A+4th+International+Symposium%2C+AGTIVE+2011%2C+Budapest%2C+Hungary%2C+October+4-7%2C+2011%2C+Revised+Selected+and+Invited+Papers&rft.date=2012&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Applications+of+Graph+Transformations+with+Industrial+Relevance%3A+4th+International+Symposium%2C+AGTIVE+2011%2C+Budapest%2C+Hungary%2C+October+4-7%2C+2011%2C+Revised+Selected+and+Invited+Papers&rft.series=Lecture+notes+in+computer+science%2C+7233&rft.au=Sch%C3%BCrr%2C+Andy&rft.pub=Springer&rft.edition=&rft.isbn=3642341764
SOLR
_version_ 1792253819267055616
access_facet Electronic Resources
author Schürr, Andy
author2 Varró, Dániel, Varró, Gergely
author2_role oth, oth
author2_variant d v dv, g v gv
author_facet Schürr, Andy, Varró, Dániel, Varró, Gergely
author_role aut
author_sort Schürr, Andy
author_variant a s as
callnumber-first Q - Science
callnumber-label QA76
callnumber-raw QA76.9.M35, QA75.5
callnumber-search QA76.9.M35, QA75.5
callnumber-sort QA 276.9 M35
callnumber-subject QA - Mathematics
collection ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
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., 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.
ctrlnum (DE-627)1651886822, (DE-576)375373829, (DE-599)BSZ375373829, (OCoLC)820500337, (DE-He213)978-3-642-34176-2, (EBP)040545652
de15_date 2012-11-15T15:09:04Z
dech1_date 2012-11-15T15:09:04Z
doi_str_mv 10.1007/978-3-642-34176-2
era_facet 2011
facet_912a ZDB-2-LNC, ZDB-2-SCS, ZDB-2-SEB, ZDB-2-SXCS
facet_avail Online
facet_local_del330 Graphersetzungssystem
finc_class_facet Informatik, Mathematik
fincclass_txtF_mv science-computerscience
footnote Literaturangaben
format eBook, ConferenceProceedings
format_access_txtF_mv Book, E-Book
format_de105 Ebook
format_de14 Book, E-Book
format_de15 Book, E-Book
format_del152 Buch
format_detail_txtF_mv text-online-monograph-independent
format_dezi4 e-Book
format_finc Book, E-Book
format_legacy ElectronicBook
format_legacy_nrw Book, E-Book
format_nrw Book, E-Book
format_strict_txtF_mv E-Book
genre Konferenzschrift 2011 Budapest (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content
genre_facet Konferenzschrift
geogr_code not assigned
geogr_code_person not assigned
geographic_facet Budapest
hierarchy_parent_id 0-316228877
hierarchy_parent_title Lecture notes in computer science
hierarchy_sequence 7233
hierarchy_top_id 0-316228877
hierarchy_top_title Lecture notes in computer science
id 0-1651886822
illustrated Not Illustrated
imprint Berlin, Heidelberg, Springer, 2012
imprint_str_mv Berlin, Heidelberg: Springer, 2012
institution DE-14, DE-Zi4, DE-Ch1, DE-520, DE-15
is_hierarchy_id 0-1651886822
is_hierarchy_title Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
isbn 9783642341762
isbn_isn_mv 9783642341755, 3642341756
issn_isn_mv 1611-3349
kxp_id_str 1651886822
language English
last_indexed 2024-02-29T17:07:15.128Z
local_heading_facet_dezwi2 Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Discrete mathematics., Algorithms., Artificial intelligence, Machine theory., Graphersetzungssystem
marc024a_ct_mv 10.1007/978-3-642-34176-2
match_str schurr2012applicationsofgraphtransformationswithindustrialrelevance4thinternationalsymposiumagtive2011budapesthungaryoctober472011revisedselectedandinvitedpapers
mega_collection Verbunddaten SWB
multipart_link 093890923
multipart_part (093890923)7233
names_id_str_mv (DE-588)1024760464, (DE-627)720521610, (DE-576)369456262
oclc_num 820500337
physical Online-Ressource (XII, 255 p. 133 illus, digital)
publishDate 2012
publishDateSort 2012
publishPlace Berlin, Heidelberg
publisher Springer
record_format marcfinc
record_id 375373829
recordtype marcfinc
rsn_id_str_mv (DE-15)3180058
rvk_facet SS 4800
rvk_label Informatik, Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen, Schriftenreihen (indiv. Sign.), Lecture notes in computer science
rvk_path SS, SQ - SU, SS 4000 - SS 5999, SS 4800
rvk_path_str_mv SS, SQ - SU, SS 4000 - SS 5999, SS 4800
series Lecture notes in computer science, 7233
series2 Lecture Notes in Computer Science ; 7233, SpringerLink ; Bücher
source_id 0
spelling Schürr, Andy aut, Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers edited by Andy Schürr, Dániel Varró, Gergely Varró, Berlin, Heidelberg Springer 2012, Online-Ressource (XII, 255 p. 133 illus, digital), Text txt rdacontent, Computermedien c rdamedia, Online-Ressource cr rdacarrier, Lecture Notes in Computer Science 7233, SpringerLink Bücher, Literaturangaben, 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., 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., Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Discrete mathematics., Algorithms., Artificial intelligence, Machine theory., Konferenzschrift 2011 Budapest (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, Konferenzschrift (DE-588)1071861417 (DE-627)826484824 (DE-576)433375485 gnd-content, s (DE-588)4274073-3 (DE-627)10447114X (DE-576)210703784 Graphersetzungssystem gnd, DE-101, Varró, Dániel 1977- (DE-588)1024760464 (DE-627)720521610 (DE-576)369456262 oth, Varró, Gergely oth, 9783642341755, Buchausg. u.d.T. Applications of graph transformations with industrial relevance Berlin : Springer, 2012 XI, 255 S. (DE-627)1604782404 (DE-576)392094312 9783642341755 3642341756, Lecture notes in computer science 7233 7233 (DE-627)316228877 (DE-576)093890923 (DE-600)2018930-8 1611-3349 ns, https://doi.org/10.1007/978-3-642-34176-2 X:SPRINGER Verlag lizenzpflichtig Volltext, http://dx.doi.org/10.1007/978-3-642-34176-2 Resolving-System lizenzpflichtig Volltext, https://swbplus.bsz-bw.de/bsz375373829cov.jpg V:DE-576 X:springer image/jpeg 20130404105416 Cover, http://deposit.d-nb.de/cgi-bin/dokserv?id=4121902&prov=M&dok_var=1&dok_ext=htm X: MVB text/html 2013-05-01 Verlag Inhaltstext, (DE-627)729063704, http://dx.doi.org/10.1007/978-3-642-34176-2 DE-14, DE-14 epn:3354584548 2012-11-15T15:09:04Z, http://dx.doi.org/10.1007/978-3-642-34176-2 DE-15, DE-15 epn:3354584599 2012-11-15T15:09:04Z, http://dx.doi.org/10.1007/978-3-642-34176-2 DE-Ch1, DE-Ch1 epn:3354584661 2012-11-15T15:09:04Z, http://dx.doi.org/10.1007/978-3-642-34176-2 Zum Online-Dokument DE-Zi4, DE-Zi4 epn:3354584718 2012-11-15T15:09:04Z, http://dx.doi.org/10.1007/978-3-642-34176-2 DE-520, DE-520 epn:3354584785 2012-11-15T15:09:04Z
spellingShingle Schürr, Andy, Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers, Lecture notes in computer science, 7233, 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., 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., Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Discrete mathematics., Algorithms., Artificial intelligence, Machine theory., Konferenzschrift 2011 Budapest, Konferenzschrift, Graphersetzungssystem
swb_id_str 375373829
title Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
title_auth Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
title_full Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers edited by Andy Schürr, Dániel Varró, Gergely Varró
title_fullStr Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers edited by Andy Schürr, Dániel Varró, Gergely Varró
title_full_unstemmed Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers edited by Andy Schürr, Dániel Varró, Gergely Varró
title_in_hierarchy 7233. Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers (2012)
title_short Applications of Graph Transformations with Industrial Relevance
title_sort applications of graph transformations with industrial relevance 4th international symposium agtive 2011 budapest hungary october 4 7 2011 revised selected and invited papers
title_sub 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
title_unstemmed Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers
topic Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Discrete mathematics., Algorithms., Artificial intelligence, Machine theory., Konferenzschrift 2011 Budapest, Konferenzschrift, Graphersetzungssystem
topic_facet Data structures (Computer science), Computer software, Logic design, Computational complexity, Computer science, Software engineering, Computer Science, Discrete mathematics., Algorithms., Artificial intelligence, Machine theory., Konferenzschrift, Graphersetzungssystem
url https://doi.org/10.1007/978-3-642-34176-2, http://dx.doi.org/10.1007/978-3-642-34176-2, https://swbplus.bsz-bw.de/bsz375373829cov.jpg, http://deposit.d-nb.de/cgi-bin/dokserv?id=4121902&prov=M&dok_var=1&dok_ext=htm