See this document in CiteSeerX!

Appligraph: Applications of Graph Transformation Third Annual Progress Report (2000)  (Make Corrections)  
Hans-Jörg Kreowski, Detlef Plump (eds.)



  Home/Search   Context   Related

 
View or download:
users.cs.york.ac.u...ppligraph.00.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  users.cs.york.ac.uk/~det...papers (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Graph Types" and \Updatable Graph Views". [HEET99a] presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following observation: Modules and module interconnections consist of basic speci cations and relations between such speci cations. Hence, a natural approach for characterizing a module concept is to answer the following three questions: (1) What are the basic speci cations?... (Update)

Similar documents (at the sentence level):
42.3%:   Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002)   (Correct)
15.5%:   Appligraph: Applications of Graph Transformation - Second.. - Kreowski, (eds.) (1999)   (Correct)
8.1%:   Appligraph: Applications of Graph Transformation - Fourth.. - Kreowski, (eds.) (2001)   (Correct)

Active bibliography (related documents):   More   All
1.0:   Distributed Graph Transformation Units - Knirsch, Kuske (2002)   (Correct)
0.7:   Picking Knots from Trees - The Syntactic Structure of.. - Drewes..   (Correct)
0.6:   Application of Graph Transformation Techniques to.. - Braatz, Ehrig.. (2002)   (Correct)

Similar documents based on text:   More   All
2.0:   Appligraph: Applications of Graph Transformation - First.. - Kreowski, Plump, (eds.) (1998)   (Correct)
0.8:   Appligraph: Applications of Graph Transformation - Fifth.. - Kreowski, (eds.) (2002)   (Correct)
0.8:   Towards Common Exchange Formats for Graphs and Graph.. - Taentzer (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ kreowski-appligraph,
  author = "Hans-Jörg Kreowski and Detlef Plump (eds.)",
  title = "Appligraph: Applications of Graph Transformation - Third Annual Progress
    Report",
  url = "citeseer.ist.psu.edu/article/kreowski00appligraph.html" }
Citations (may not include all citations):
111   Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Ehrig, Engels et al. - 1999
111   Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Ehrig, org et al. - 1999
49   The tile model - Gadducci, Montanari - 2000
38   Handbook of Graph Grammars and Computing by Graph Transforma.. (context) - Rozenberg - 1997
38   Application of Graph Transformation to Visual Languages - Bardohl, Taentzer et al.
32   Hierarchical graph transformation - Drewes, Ho et al. - 2000
32   Hierarchical graph transformation - Drewes, Ho et al. - 2000
31   Zero-safe nets: Comparing the collective and individual toke.. - Bruni, Montanari - 2000
29   Term graph rewriting - Plump - 1999
24   Dynamic Types and Type Dependent Functions - Pil - 1999
19   The AGG-approach: Language and tool environment (context) - Taentzer, Ermel et al.
16   Cartesian closed double categories (context) - Bruni, Montanari - 1999
14   Consistency Analysis of UML Class and Sequence Diagrams usin.. - Tsiolakis, Ehrig
14   Doublepushout graph transformation revisited - Habel, urgen et al. - 2000
14   Simple modules for GRACE - Heckel, Ho et al. - 2000
14   A tableau based constraint solving toolkit for interactive g.. (context) - Marriott, Chok et al. - 1998
14   Doublepushout graph transformation revisited - Habel, urgen et al. - 1999
13   Graph transformation units and modules - org, Sabine - 1999
13   Modelling Concurrent Computations: from Contextual Petri Net.. (context) - Baldan - 2000
13   Generating diagram editors providing free-hand editing as we.. - oth, Minas - 2000
12   Integration of Graph Transformation and Temporal Logic for t.. (context) - Koch - 1999
12   Tree-based picture generation - Drewes - 2000
12   A framework for adding packages to graph transformation appr.. - Busatto, Engels et al.
12   Graph transformation units with interleaving semantics - org, Sabine - 2000
12   Dynamic change management by distributed graph transformatio.. (context) - Goedicke, Meyer et al.
11   Bisimilarity in term graph rewriting - Ariola, Klop et al. - 2000
11   Visual design of distributed systems by graph transformation (context) - Taentzer, Fischer et al. - 1999
11   Graph transformation modules and their composition - Drewes, Knirsch et al. - 2000
10   Functorial semantics for multialgebras - Corradini, Gadducci - 1999
10   dynamic bisimulation and tile logic (context) - Bruni, Montanari et al. - 2000
9   Tree-based generation of languages of fractals - Drewes - 1999
9   More about control conditions for transformation units - Kuske - 2000
9   A bi-categorical axiomatisation of concurrent graph rewritin.. - Gadducci, Heckel et al. - 1999
9   osen von graschen Constraints (context) - Griebel, Paralleles - 1996
8   Integrating visual modeling of agent-based and object-orient.. (context) - Depke, Heckel et al. - 2000
7   Complete strategies for term graph narrowing (context) - Habel, Plump - 1999
7   Modeling agent-based systems with graph transformation and U.. (context) - Depke, Heckel et al. - 2000
7   A functorial semantics for multialgebras and partial algebra.. - Corradini, Gadducci - 2000
6   Graph-based reverse engineering and reengineering tools (context) - Cremer - 2000
6   Progres: Language and environment (context) - Sch, Andreas et al. - 1997
6   A Categorical Approach to Modularization of Graph Transforma.. (context) - Simeoni - 2000
6   A fully abstract model for graph-interpreted temporal logic (context) - Gadducci, Heckel et al.
6   Executing transactions in zero-safe nets - Bruni, Montanari - 2000
5   Actor grammars and local actions (context) - Janssens - 1999
5   Zero-safe nets: Composing nets via transition synchronizatio.. - Bruni, Montanari - 1999
5   A Structuring Principle for Graph Transformation Systems (context) - Kuske - 2000
5   Using fujaba for the development of production control syste.. - org, Albert et al. - 2000
5   Term graph syntax for multi-algebras - Corradini, Gadducci et al. - 2000
5   Doublepushout approach with injective matching (context) - Habel, urgen et al.
5   IPSEN tools (context) - Klein, Nagl et al.
5   Graph transformation for speci- cation and programming (context) - Andries, Engels et al. - 1999
4   Local Views on Distributed Systems and their Communication - Fischer, Koch et al.
4   Applications of Graph Transformations with Industrial Releva.. (context) - Nagl, Sch et al. - 2000
4   Tool support for viewpoint-oriented software development: To.. - Goedicke, Enders et al.
4   Higher-order hyperedge replacement systems and their transfo.. (context) - Hirsch, Montanari - 2000
4   From formulae to rewriting systems (context) - Bottoni, Parisi-Presicce et al. - 2000
4   Table-driven and context-sensitive collage languages - Drewes, Klempien-Hinrichs et al. - 2000
4   Some remarks on the generative power of collage grammars and.. - Drewes - 2000
4   Graph-based product and process management in mechanical eng.. - Westfechtel - 1999
4   volume 1764 of Lecture Notes in Computer Science (context) - Ehrig, Engels et al. - 2000
4   Distribution of Applications with Graph Transformation Tools - Radermacher - 1998
4   A framework for ESM and NLC: Local action systems (context) - Janssens, Verlinden - 2000
4   Graph technology for structured documents - Behle, Gatzemeier et al. - 1999
4   Normal forms for context-free noderewriting hypergraph gramm.. - Klempien-Hinrichs
4   Renements of graph transformation systems via rule expressio.. (context) - Gro, Presicce et al. - 2000
4   Constraint-based diagram beautication (context) - Chok, Marriott et al. - 1999
4   Rewriting on cyclic structures: Equivalence between the oper.. - Corradini, Gadducci - 1999
4   GenGEd: A Development Environment for Visual Languages (context) - Bardohl, Niemann et al.
4   Dipartimento di Informatica (context) - Corradini, Gadducci et al. - 1998
3   Dynamic accomodation of change: Automated architecture congu.. (context) - Taentzer, Goedicke et al. - 1999
3   Programmed graph rewriting system PROGRES (context) - unch - 2000
3   Conceptual Model of the Graphical Editor GenGEd (context) - Bardohl, Ehrig
3   a tree-based generator for objects of various types (context) - Drewes - 1998
3   The generative power of context-free node rewriting in hyper.. (context) - Klempien-Hinrichs - 2000
3   Generating tools from graph-based specications (context) - ager - 1999
3   Foundation for software con- guration management policies us.. (context) - Parisi-Presicce, Wolf - 2000
3   Correct translation of mutually recursive function systems i.. (context) - Klempien-Hinrichs, org et al. - 1999
3   A note on modeling agent systems by graph transformation (context) - Knirsch, org - 2000
3   Graph transformation based integration tools: Application to.. (context) - Cremer, Nagl et al.
3   Specication and implementation of a distributed planning and.. (context) - Jahnke, undorf - 1998
3   Attributed graph transformation with partial attribution and.. - Berthold, Fischer et al.
3   Eine schematische und grammatische Korrespondenzmethode zur .. (context) - Gruner - 1999
3   A view-based approach to system modeling based on open graph.. - Heckel, Ehrig et al.
3   Optimizing Recursive Functions Yielding Multiple Results in .. (context) - van Groningen - 1999
2   Modeling distributed systems by modular graph transformation.. - Gro, Presicce et al. - 1999
2   Consistent transformations for software architecture styles .. - Hirsch, Montanari - 1999
2   A Proof Tool Dedicated to Clean (context) - de Mol, van Eekelen
2   Fachbereich Mathematik und Informatik (context) - Plump, Graph et al. - 1999
2   Parisi Presicce (context) - Bottoni
2   Meta typing is compatible to the typed SPO approach - Gruner
2   Renements and modules for typed graph transformation systems (context) - Gro, Simeoni et al. - 1999
2   Leaving the visual languages ghetto (context) - unch, Sch - 1999
2   Double-pullback graph transitions: A rulebased framework wit.. (context) - Ehrig, Heckel et al.
2   Viewpointoriented software development: Support for integrat.. (context) - Goedicke, Meyer et al. - 2000
2   Baum-basierte Generierung und Transformation von Objekten (context) - Drewes - 1998
2   Adding visual rules to object-oriented modeling techniques - Taentzer - 1999
2   a short presentation (context) - Drewes, Knirsch - 2000
2   Dito - a distribution tool based on graph rewriting - Radermacher - 2000
1   Unfolding of doublepushout graph grammars is a core ection - Baldan, Corradini et al. - 2000
1   Anwendung von Graphentechnik zum Reverse Engineering und Ree.. (context) - Cremer - 1999
1   GETGRATS Workshop on Graph Transformation Systems (context) - Ehrig, Taentzer et al. - 2000
1   Using a formal reference model for consistency checking and .. (context) - Grosse-Rhode - 2000
1   Single pushout approach to distributed graph transformation (context) - Koch
1   A combined graph schema and graph grammar approach to consis.. (context) - Gruner
1   A Prototype Dedicated Theorem Prover for Clean - de Mol, van Eekelen - 1999
1   Algebraic properties of LAS processes (context) - Janssens, Verlinden - 1999
1   Proving the Temporal Properties of the Unique World (context) - Horvath, Achten et al. - 1999
1   Verication of the Temporal Properties of Dynamic Clean Proce.. (context) - Horvath, Achten et al. - 1999
1   A Tutorial to the Clean Object I/O Library | Version (context) - Achten, Wierich - 2000
1   Towards Visual Speci- cation and Animation of Petri Net Base.. (context) - Bardohl, Ermel et al.
1   Concurrency of double-pullback transitions (context) - Heckel, Llabr et al.
1   Using Clean for Platform Games - Draft (context) - Wiering, Plasmeijer et al. - 1999
1   Visuelles Programmieren mit Graphtransformationen (context) - Winter - 1999
1   a uniform representation of transformation systems (context) - Bottoni, Parisi-Presicce et al. - 1999
1   On Generating Fuzzy Models with Fuzzy Petri Nets (context) - Fischer, Koch et al.
1   GenGEd - Visual Denition of Visual Languages based on Graph .. (context) - Bardohl - 1999
1   Ahead: A graph-based system for modeling and managing develo.. (context) - Westfechtel, ager et al. - 2000
1   Compositional specication of distributed systems by distribu.. (context) - Koch - 2000

Documents on the same site (http://www-users.cs.york.ac.uk/~det/papers.html):   More
Bisimilarity in Term Graph Rewriting - Ariola, Klop, al. (2000)   (Correct)
Double-Pushout Graph Transformation Revisited - Habel, Müller, Plump (2000)   (Correct)
Computational Completeness of Programming Languages Based on.. - Habel, Plump (2001)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC