Cargando…
Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Theoretical Computer Science and General Issues,
6372 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.