Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr.

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...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ehrig, Hartmut (Editor), Rensink, Arend (Editor), Rozenberg, Grzegorz (Editor), Schürr, Andy (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Theoretical Computer Science and General Issues ; 6372 Springer eBook Collection.
Subjects:	Computer science—Mathematics. Software engineering. Data structures (Computer science). Computer logic. Algorithms. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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.

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings / edited by Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr.

Similar Items