Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /

Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.

Saved in:
Bibliographic Details
Main Authors: Ehrig, Hartmut. editor., Engels, Gregor. editor., Kreowski, Hans-Jörg. editor., Rozenberg, Grzegorz. editor., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
Subjects:Computer science., Computers., Mathematical logic., Computer science, Artificial intelligence., Discrete mathematics., Computer Science., Theory of Computation., Discrete Mathematics., Mathematical Logic and Formal Languages., Symbolic and Algebraic Manipulation., Artificial Intelligence (incl. Robotics).,
Online Access:http://dx.doi.org/10.1007/b75045
Tags: Add Tag
No Tags, Be the first to tag this record!
id KOHA-OAI-TEST:221552
record_format koha
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic Computer science.
Computers.
Mathematical logic.
Computer science
Artificial intelligence.
Discrete mathematics.
Computer Science.
Theory of Computation.
Discrete Mathematics.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Computer science.
Computers.
Mathematical logic.
Computer science
Artificial intelligence.
Discrete mathematics.
Computer Science.
Theory of Computation.
Discrete Mathematics.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
spellingShingle Computer science.
Computers.
Mathematical logic.
Computer science
Artificial intelligence.
Discrete mathematics.
Computer Science.
Theory of Computation.
Discrete Mathematics.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Computer science.
Computers.
Mathematical logic.
Computer science
Artificial intelligence.
Discrete mathematics.
Computer Science.
Theory of Computation.
Discrete Mathematics.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Ehrig, Hartmut. editor.
Engels, Gregor. editor.
Kreowski, Hans-Jörg. editor.
Rozenberg, Grzegorz. editor.
SpringerLink (Online service)
Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /
description Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.
format Texto
topic_facet Computer science.
Computers.
Mathematical logic.
Computer science
Artificial intelligence.
Discrete mathematics.
Computer Science.
Theory of Computation.
Discrete Mathematics.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
author Ehrig, Hartmut. editor.
Engels, Gregor. editor.
Kreowski, Hans-Jörg. editor.
Rozenberg, Grzegorz. editor.
SpringerLink (Online service)
author_facet Ehrig, Hartmut. editor.
Engels, Gregor. editor.
Kreowski, Hans-Jörg. editor.
Rozenberg, Grzegorz. editor.
SpringerLink (Online service)
author_sort Ehrig, Hartmut. editor.
title Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /
title_short Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /
title_full Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /
title_fullStr Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /
title_full_unstemmed Theory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers /
title_sort theory and application of graph transformations [electronic resource] : 6th international workshop, tagt’98, paderborn, germany, november 16-20, 1998. selected papers /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 2000
url http://dx.doi.org/10.1007/b75045
work_keys_str_mv AT ehrighartmuteditor theoryandapplicationofgraphtransformationselectronicresource6thinternationalworkshoptagt98paderborngermanynovember16201998selectedpapers
AT engelsgregoreditor theoryandapplicationofgraphtransformationselectronicresource6thinternationalworkshoptagt98paderborngermanynovember16201998selectedpapers
AT kreowskihansjorgeditor theoryandapplicationofgraphtransformationselectronicresource6thinternationalworkshoptagt98paderborngermanynovember16201998selectedpapers
AT rozenberggrzegorzeditor theoryandapplicationofgraphtransformationselectronicresource6thinternationalworkshoptagt98paderborngermanynovember16201998selectedpapers
AT springerlinkonlineservice theoryandapplicationofgraphtransformationselectronicresource6thinternationalworkshoptagt98paderborngermanynovember16201998selectedpapers
_version_ 1756270316047302656
spelling KOHA-OAI-TEST:2215522018-07-30T23:59:27ZTheory and Application of Graph Transformations [electronic resource] : 6th International Workshop, TAGT’98, Paderborn, Germany, November 16-20, 1998. Selected Papers / Ehrig, Hartmut. editor. Engels, Gregor. editor. Kreowski, Hans-Jörg. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2000.engTheareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.Graph Languages -- Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars -- Tree Languages Generated by Context-Free Graph Grammars -- Neighborhood Expansion Grammars -- Neighborhood-Preserving Node Replacements -- Graph Theory -- Complexity Issues in Switching of Graphs -- The Power of Local Computations in Graphs with Initial Knowledge -- Categorical Approaches -- Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information -- Double-Pushout Approach with Injective Matching -- Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approacht -- Pushout Complements for Arbitrary Partial Algebras -- Concurrency and Distribution -- Unfolding of Double-Pushout Graph Grammars is a Coreflection -- Local Views on Distributed Systems and Their Communication -- Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems -- A Framework for NLC and ESM: Local Action Systems -- Artificial Intelligence -- Redundancy and Subsumption in High-Level Replacement Systems -- Knowledge Representation and Graph Transformation -- Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching -- Visual Languages -- Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages -- From Formulae to Rewriting Systems -- Hypergraphs as a Uniform Diagram Representation Model -- Specification Concepts -- Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java -- A Fully Abstract Model for Graph-Interpreted Temporal Logic -- More About Control Conditions for Transformation Units -- Integrity Constraints in the Multi-Paradigm Language PROGRES -- Modularity and Refinement -- A Framework for Adding Packages to Graph Transformation Approaches -- Refinements of Graph Transformation Systems via Rule Expressions -- Simple Modules for Grace -- UML Packages for PROgrammed Graph REwriting Systems -- Incremental Development of Safety Properties in Petri Net Transformations -- Software Engineering -- Using Graph Transformation Techniques for Integrating Information from the WWW -- A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism -- Graph-Based Models for Managing Development Processes, Resources, and Products -- Deriving Software Performance Models from Architectural Patterns by Graph Transformations.Theareaofgraphtransformationoriginatedinthelate1960sunderthename “graph grammars” – the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design, modeling of concurrent systems, m- sively parallel computer architectures, logic programming, computer animation, developmentalbiology,musiccomposition,distributedsystems,speci?cationl- guages, software and web engineering, and visual languages. As a matter of fact, graph transformation is now accepted as a fundamental computation paradigm where computation includes speci?cation, programming, and implementation. Over the last three decades the area of graph transfor- tion has developed at a steady pace into a theoretically attractive research ?eld, important for applications. Thisvolume consistsofpapersselectedfromcontributionsto the Sixth Int- national Workshop on Theory and Applications of Graph Transformation that took place in Paderborn, Germany, November 16-20, 1998. The papers und- went an additional refereeing process which yielded 33 papers presented here (out of 55 papers presented at the workshop). This collection of papers provides a very broad snapshot of the state of the art of the whole ?eld today. They are grouped into nine sections representing most active research areas. Theworkshopwasthe sixth in a seriesof internationalworkshopswhich take place every four years. Previous workshops were called “Graph Grammars and Their Application to Computer Science”. The new name of the Sixth Workshop re?ectsmoreaccuratelythecurrentsituation,whereboththeoryandapplication play an equally central role.Computer science.Computers.Mathematical logic.Computer scienceArtificial intelligence.Discrete mathematics.Computer Science.Theory of Computation.Discrete Mathematics.Mathematical Logic and Formal Languages.Symbolic and Algebraic Manipulation.Artificial Intelligence (incl. Robotics).Springer eBookshttp://dx.doi.org/10.1007/b75045URN:ISBN:9783540464648