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

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg