Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Graph Transformations [[electronic resource] ] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings / / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
| Graph Transformations [[electronic resource] ] : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings / / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 523 p.) |
| Disciplina | 005.015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Computer science Artificial intelligence—Data processing Programming Techniques Software Engineering Theory of Computation Data Science |
| ISBN | 3-540-87405-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Towards an Algebraic Theory of Bidirectional Transformations -- Discovery, Verification and Conformance of Workflows with Cancellation -- The AUTOSAR Way of Model-Based Engineering of Automotive Systems -- Hypergraphs and Termgraph Rewriting -- An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars -- Labelled (Hyper)Graphs, Negotiations and the Naming Problem -- Abstracting Complex Data Structures by Hyperedge Replacement -- Inductively Sequential Term-Graph Rewrite Systems -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A Decentralized Implementation of Mobile Ambients -- Network Applications of Graph Bisimulation -- Graph Transformation for Topology Modelling -- Execution of Graph Transformations -- Embedding and Confluence of Graph Transformations with Negative Application Conditions -- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels -- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel and Sequential Independence for Borrowed Contexts -- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts -- Open Petri Nets: Non-deterministic Processes and Compositionality -- Validation and Verification -- Attributed Graph Constraints -- Resolution-Like Theorem Proving for High-Level Conditions -- Towards the Verification of Attributed Graph Transformation Systems -- A Modal-Logic Based Graph Abstraction -- Graph Languages and Special Transformation Concepts -- On the Recognizability of Arrow and Graph Languages -- Graph Multiset Transformation as a Framework for Massively Parallel Computation -- Pullback Grammars Are Context-Free -- On Switching to H-Free Graphs -- Patterns and Model Transformations -- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation -- 15 Years of Triple Graph Grammars -- Pattern-Based Model-to-Model Transformation -- Adaptive Star Grammars for Graph Models -- Tutorial and Workshops -- Tutorial Introduction to Graph Transformation -- Workshop on Graph Computation Models -- Graph-Based Tools: The Contest -- Workshop on Petri Nets and Graph Transformations -- Summary of the Workshop on Natural Computing and Graph Transformations -- Doctoral Symposium -- ICGT 2008 Doctoral Symposium -- Verification of Architectural Refactorings: Rule Extraction and Tool Support -- Abstract Semantics by Observable Contexts -- Triple Graph Grammars and OCL for Validating System Behavior -- From Separation Logic to Hyperedge Replacement and Back -- Security, Cryptography and Directed Bigraphs -- Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement -- Grammar Morphisms and Weakly Adhesive Categories -- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions -- Towards a Two Layered Verification Approach for Compiled Graph Transformation -- Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems -- Service Extraction from Legacy Systems -- Development of Correct Graph Transformation Systems -- Graph Transformation for the Semantic Web: Queries and Inference Rules -- Using a Triple Graph Grammar for State Machine Implementations -- Model-Driven Development of Model Transformations -- Transformation-Based Operationalization of Graph Languages. |
| Record Nr. | UNISA-996465774903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings / / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
| Graph Transformations : 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings / / edited by Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XIII, 523 p.) |
| Disciplina | 005.015115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer programming
Software engineering Computer science Artificial intelligence—Data processing Programming Techniques Software Engineering Theory of Computation Data Science |
| ISBN | 3-540-87405-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Towards an Algebraic Theory of Bidirectional Transformations -- Discovery, Verification and Conformance of Workflows with Cancellation -- The AUTOSAR Way of Model-Based Engineering of Automotive Systems -- Hypergraphs and Termgraph Rewriting -- An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars -- Labelled (Hyper)Graphs, Negotiations and the Naming Problem -- Abstracting Complex Data Structures by Hyperedge Replacement -- Inductively Sequential Term-Graph Rewrite Systems -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A Decentralized Implementation of Mobile Ambients -- Network Applications of Graph Bisimulation -- Graph Transformation for Topology Modelling -- Execution of Graph Transformations -- Embedding and Confluence of Graph Transformations with Negative Application Conditions -- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels -- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation -- High-Level Programs and Program Conditions -- Compositional Systems -- Parallel and Sequential Independence for Borrowed Contexts -- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts -- Open Petri Nets: Non-deterministic Processes and Compositionality -- Validation and Verification -- Attributed Graph Constraints -- Resolution-Like Theorem Proving for High-Level Conditions -- Towards the Verification of Attributed Graph Transformation Systems -- A Modal-Logic Based Graph Abstraction -- Graph Languages and Special Transformation Concepts -- On the Recognizability of Arrow and Graph Languages -- Graph Multiset Transformation as a Framework for Massively Parallel Computation -- Pullback Grammars Are Context-Free -- On Switching to H-Free Graphs -- Patterns and Model Transformations -- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation -- 15 Years of Triple Graph Grammars -- Pattern-Based Model-to-Model Transformation -- Adaptive Star Grammars for Graph Models -- Tutorial and Workshops -- Tutorial Introduction to Graph Transformation -- Workshop on Graph Computation Models -- Graph-Based Tools: The Contest -- Workshop on Petri Nets and Graph Transformations -- Summary of the Workshop on Natural Computing and Graph Transformations -- Doctoral Symposium -- ICGT 2008 Doctoral Symposium -- Verification of Architectural Refactorings: Rule Extraction and Tool Support -- Abstract Semantics by Observable Contexts -- Triple Graph Grammars and OCL for Validating System Behavior -- From Separation Logic to Hyperedge Replacement and Back -- Security, Cryptography and Directed Bigraphs -- Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement -- Grammar Morphisms and Weakly Adhesive Categories -- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions -- Towards a Two Layered Verification Approach for Compiled Graph Transformation -- Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems -- Service Extraction from Legacy Systems -- Development of Correct Graph Transformation Systems -- Graph Transformation for the Semantic Web: Queries and Inference Rules -- Using a Triple Graph Grammar for State Machine Implementations -- Model-Driven Development of Model Transformations -- Transformation-Based Operationalization of Graph Languages. |
| Record Nr. | UNINA-9910768174603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||