Overview

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Theory and Applications of Graph Transformations held in Paderborn, Germany, in November 1998. The 33 revised full papers presented in the book were carefully reviewed and selected from a total of 55 papers presented at the meeting. The book addresses all current aspects in the area. The papers are organized in sections on graph languages, graph theory, categorical approaches, concurrency and distribution, artificial intelligence, visual languages, specification concepts, modularity and refinement, and software engineering.

Full Product Details

Author:   Hartmut Ehrig ,  Gregor Engels ,  Hans-Jörg Kreowski ,  Grzegorz Rozenberg
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2000 ed.
Volume:   1764
Dimensions:   Width: 15.50cm , Height: 2.60cm , Length: 23.50cm
Weight:   1.560kg
ISBN:  

9783540672036

ISBN 10:   3540672036
Pages:   506
Publication Date:   02 March 2000
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Awaiting stock  
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions