Graph Transformation
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
Published on 23. August 2012
Book
Paperback/Softback
XII, 427 pages
978-3-642-33653-9 (ISBN)
Description
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.
More details
Series
Edition
2012 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
166 s/w Abbildungen
XII, 427 p. 166 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 24 mm
Weight
663 gr
ISBN-13
978-3-642-33653-9 (9783642336539)
DOI
10.1007/978-3-642-33654-6
Schweitzer Classification
Other editions
Additional editions
Hartmut Ehrig | Gregor Engels | Hans-Jörg Kreowski
Graph Transformation
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings
E-Book
09/2012
Springer
€53.49
Available for download
Persons
Content
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.