Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ehrig, Hartmut (Επιμελητής έκδοσης), Rensink, Arend (Επιμελητής έκδοσης), Rozenberg, Grzegorz (Επιμελητής έκδοσης), Schürr, Andy (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6372
• Θέματα: Computer science.; Software engineering.; Data structures (Computer science).; Algorithms.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Discrete Mathematics in Computer Science.; Software Engineering.; Data Structures.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.

Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combi...

Πίνακας περιεχομένων:

• Invited Speakers
• A False History of True Concurrency: From Petri to Tools
• How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?
• Session 1. Graphs and Logic
• Graph Transformation Units Guided by a SAT Solver
• Delaying Constraint Solving in Symbolic Graph Transformation
• A Dynamic Logic for Termgraph Rewriting
• Session 2. Behavioural Analysis
• A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes
• On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars
• Verification of Graph Transformation Systems with Context-Free Specifications
• Saturated LTSs for Adhesive Rewriting Systems
• A Hoare Calculus for Graph Programs
• Session 3. Models and Model Transformation
• Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars
• Conflict Detection for Model Versioning Based on Graph Modifications
• A Component Concept for Typed Graphs with Inheritance and Containment Structures
• Combining Termination Criteria by Isolating Deletion
• Session 4. Algebraic Foundations
• Graph Rewriting in Span-Categories
• Finitary -Adhesive Categories
• Hereditary Pushouts Reconsidered
• Session 5. Applications
• Graph Transformation for Domain-Specific Discrete Event Time Simulation
• Counterpart Semantics for a Second-Order ?-Calculus
• Declarative Mesh Subdivision Using Topological Rewriting in MGS
• A Model for Distribution and Revocation of Certificates
• Session 6. Rule Composition
• Local Confluence for Rules with Nested Application Conditions
• Multi-Amalgamation in Adhesive Categories
• Amalgamating Pushout and Pullback Graph Transformation in Collagories
• Doctoral Symposium
• ICGT 2010 Doctoral Symposium
• EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment
• Recognizable Graph Languages for the Verification of Dynamic Systems
• Stochastic Modelling and Simulation of Dynamic Resource Allocation
• Bisimulation Theory for Graph Transformation Systems
• Realizing Impure Functions in Interaction Nets
• Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures
• Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems
• LTS Semantics for Process Calculi from Their Graphical Encodings
• Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems
• Correctness of Graph Programs Relative to HR?+? Conditions
• Static Type Checking of Model Transformation Programs
• Using Graph Transformations and Graph Abstractions for Software Verification.