did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540672036

Theory and Application of Graph Transformations: 6th International Workshop, Tagt'98 Paderborn, Germany, November 16-20, 1998 Selected Papers

by ; ;
  • ISBN13:

    9783540672036

  • ISBN10:

    3540672036

  • Format: Paperback
  • Copyright: 2000-04-01
  • Publisher: Springer Verlag

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

List Price: $129.00 Save up to $110.44
  • Buy Used
    $96.75
    Add to Cart Free Shipping Icon Free Shipping

    USUALLY SHIPS IN 2-4 BUSINESS DAYS

Supplemental Materials

What is included with this book?

Summary

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.

Table of Contents

Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars
1(14)
Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars
15(15)
Joost Engelfriet
Sebastian Maneth
Neighborhood Expansion Grammars
30(15)
John L. Pfaltz
Neighborhood-Preserving Node Replacements
45(14)
Konstantin Skodinis
Egon Wanke
Graph Theory
Complexity Issues in Switching of Graphs
59(12)
Andrzej Ehrenfeucht
Jurriaan Hage
Tero Harju
Grzegorz Rozenberg
The Power of Local Computations in Graphs with Initial Knowledge
71(14)
Emmanuel Godard
Yves Metivier
Anca Muscholl
Categorical Approaches
Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information
85(18)
Hartmut Ehrig
Reiko Heckel
Merce Llabres
Fernando Orejas
Julia Padberg
Grzegorz Rozenberg
Double-Pushout Approach with Injective Matching
103(14)
Annegret Habel
Jurgen Muller
Detlef Plump
Node Replacement in Hypergraphs: Translating NCE Rewriting into the Pullback Approach
117(14)
Helene Jacquet
Renate Klempien-Hinrichs
Pushout Complements for Arbitrary Partial Algebras
131(14)
Merce Llabres
Francesc Rossello
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection
145(19)
Paolo Baldan
Andrea Corradini
Ugo Montanari
Local Views on Distributed Systems and Their Communication
164(15)
Ingrid Fischer
Manuel Koch
Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation: Towards Configurable Distributed Systems
179(15)
Gabriele Taentzer
Michael Goedicke
Torsten Meyer
A Framework for NLC and ESM: Local Action Systems
194(21)
Nico Verlinden
Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems
215(13)
Hans-Jorg Kreowski
Gabriel Valiente
Knowledge Representation and Graph Transformation
228(10)
Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching
238(14)
Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGed for the Visual Definition of Visual Languages
252(15)
Roswitha Bardohl
Hartmut Ehrig
From Formulae to Rewriting Systems
267(14)
Paolo Bottoni
Francesco Parisi-Presicce
Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model
281(15)
Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
296(14)
Thorsten Fischer
Jorg Niere
Lars Torunski
Albert Zundorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic
310(13)
Fabio Gadducci
Reiko Heckel
Manuel Koch
More About Control Conditions for Transformation Units
323(15)
Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES
338(14)
Manfred Munch
Andy Schurr
Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches
352(16)
Giorgio Busatto
Gregor Engels
Katharina Mehner
Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions
368(15)
Martin Große-Rhode, Francesco Parisi Presice
Marta Simeoni
Simple Modules for Grace
383(13)
Reiko Heckel
Berthold Hoffmann
Peter Knirsch
Sabine Kuske
UML Packages for PROgrammed Graph REwriting Systems
396(14)
Andy Schurr
Andreas J. Winter
Incremental Development of Safety Properties in Petri Net Transformations
410(16)
Julia Padberg
Maike Gajewsky
Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW
426(16)
Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism
442(13)
Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products
455(20)
Carl-Arndt Krapp
Sven Kruppel
Ansgar Schleicher
Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations
475(14)
Dorina C. Petriu
Xin Wang
Author Index 489

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program