Graph transformation : 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / Francesco Parisi-Presicce, Bernhard Westfechtel (eds.).Material type: TextSeries: Serienbezeichnung | Lecture notes in computer science ; 9151. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Publisher: Cham : Springer, 2015Description: 1 online resource (xiv, 283 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783319211459; 3319211455; 3319211447; 9783319211442Other title: ICGT 2015Subject(s): Graph theory -- Data processing -- Congresses | Computer science -- Congresses | Software Engineering | Algorithms & data structures | Computer programming -- software development | Mathematical theory of computation | Discrete mathematics | Computers -- Software Development & Engineering -- General | Computers -- Data Modeling & Design | Computers -- Programming -- General | Computers -- Programming -- Algorithms | Mathematics -- Logic | Computers -- Data Processing | Computer science | Graph theory -- Data processing | computerwetenschappen | computer sciences | wiskunde | mathematics | algoritmen | algorithms | computeranalyse | computer analysis | gegevensstructuren | data structures | logica | logic | software engineering | Information and Communication Technology (General) | Informatie- en communicatietechnologie (algemeen)Genre/Form: Electronic books. | Conference papers and proceedings. Additional physical formats: Printed edition:: No titleDDC classification: 511/.5 LOC classification: QA166 | .I34 2015ebOnline resources: Click here to access online
|Item type||Current library||Collection||Call number||Status||Date due||Barcode||Item holds|
International conference proceedings.
Includes author index.
Online resource; title from PDF title page (SpringerLink, viewed July 23, 2015).
Polymorphic Sesqui-Pushout Graph Rewriting -- Predictive Top-Down Parsing for Hyperedge Replacement Grammars -- AGREE -- Algebraic Graph Rewriting with Controlled Embedding -- Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings -- Towards Local Confluence Analysis for Amalgamated Graph Transformation -- Multi-amalgamated Triple Graph Grammars -- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs -- Reachability in Graph Transformation Systems and Slice Languages -- Equational Reasoning with Context-Free Families of String Diagrams -- Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations -- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems -- Graph Pattern Matching as an Embedded Clojure DSL -- Using Graph Transformations for Formalizing Prescriptions and Monitoring -- Towards Compliance Verification Between Global and Local Process Models -- Inductive Invariant Checking with Partial Negative Application Conditions -- Tool Support for Multi-amalgamated Triple Graph Grammars -- Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems -- Local Search-Based Pattern Matching Features in EMF-INCQUERY.
This book constitutes the proceedings of the 8th International Conference on Graph Transformations, ICGT 2015, held in L'Aquila, Italy, in July 2015. The 15 full papers presented together with 3 short papers and 1 keynote were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on foundations; applications: technical papers, and tool presentations.