Graph Transformation
Springer International Publishing (Verlag)
978-3-319-21144-2 (ISBN)
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.
Erscheint lt. Verlag | 7.7.2015 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | XIV, 283 p. 93 illus. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Themenwelt | Mathematik / Informatik ► Informatik |
Mathematik / Informatik ► Mathematik | |
Schlagworte | Algebraic Language Theory • Amalgamation • Computational Models • computational systems biology • data structures • grammar analysis • graph constraints • Graph grammar • graph parsing • Graph Rewriting • graph theory • graph transformation system • Hypergraphs • Local Search • meta modeling • Meta-Modeling • Model Checking • Model-Driven Software Engineering • model transformations • reachability • reconfigurable petrinets • rewrite systems • Software Verification • verification |
ISBN-10 | 3-319-21144-7 / 3319211447 |
ISBN-13 | 978-3-319-21144-2 / 9783319211442 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich