Graph Transformation

6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

Häftad, Engelska, 2012

Av Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg, Hans-Jorg Kreowski

719 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2012-08-23
Mått155 x 235 x 24 mm
Vikt663 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor427
Upplaga2012
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642336539

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it
Diskret matematik inom Naturvetenskap och teknik
Databaser inom Data och it

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.