Buch, Englisch, 427 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 663 g
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Buch, Englisch, 427 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 663 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-642-33653-9
Verlag: Springer
This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Invited Papers.-A Graph-Based Design Framework for Services.-Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems.-Completeness-Driven Development.-Foundations 1: Behavioral Analysis Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.-Pattern-Based Graph Abstraction.-Well-Structured Graph Transformation Systems with Negative Application Conditions.-Foundations 2: High-Level Graph Transformation Parallelism and Concurrency of Stochastic Graph Transformations.-Refined Graph Rewriting in Span-Categories: A Framework for Algebraic Graph Transformation.-Borrowed Contexts for Attributed Graphs.-Foundations 3: Revisited Approaches.-Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars: Flexible Relations between Source and Target Elements.-Graph Transformation with Focus on Incident Edges.-Rational Term Rewriting Revisited: Decidability and Confluence.-Foundations 4: General Transformation Models A General Attribution Concept for Models in M-Adhesive Transformation Systems.-DPO Transformation with Open Maps.-M,N-Adhesive Transformation Systems.-Foundations 5: Structuring and Verification Generalised Compositionality in Graph Transformation.-Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking.-Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking.-Applications 1: Graph Transformations in Use Testing against Visual Contracts: Model-Based Coverage.-A Truly Concurrent Semantics for the K Framework Based on Graph Transformations.-Probabilistic Graph Transformation Systems.-Applications 2: (Meta-)Model Evolution Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution.-Graph Transformations for Evolving Domain Knowledge.-Construction of Integrity Preserving Triple Graph Grammars.-Applications 3: Incremental Approaches Applying Incremental Graph Transformation to Existing Models in Relational Databases.-Incremental Pattern Matching for the Efficient Computation of Transitive Closure.-Efficient Model Synchronization with Precedence Triple Graph Grammars.-Doctoral Symposium ICGT 2012 Doctoral Symposium.-Multi-scale Rule-Based Graph Transformation Using the Programming Language XL.-Verification of Graph Programs.-Specification and Verification of Modal Properties for Structured Systems.
