Alternate document:   Details   Graph Transformation Units And Modules (99) Hans-Jörg Kreowski, Sabine Kuske

See this document in CiteSeerX!

Graph Transformation Units with Interleaving Semantics (1999)  (Make Corrections)  (12 citations)
Hans-Jörg Kreowski, Sabine Kuske
Formal Aspects of Computing



  Home/Search   Context   Related

 
View or download:
informatik.unibremen.de...SemAsp.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  informatik.unibremen.de/~kusk... (more)
(Enter author homepages)

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

Abstract: The aim of the paper is to introduce the notion of a transformation unit together with its interleaving semantics and to study it as a means of constructing large graph transformation systems from small ones in a structured and systematic way. A transformation unit comprises a set of rules, descriptions of initial and terminal graphs, and a control condition. Moreover, it may import other transformation units for structuring purposes. Its semantics is a binary relation between initial and... (Update)

Context of citations to this paper:   More

.... encapsulate sets of graph transformation rules and which provide control mechanisms for the application process of its local rules (cf. [23, 24]) 3.2 Representing transitions as graph transformation rules The transitions of a state diagram STD can be also represented by means...

.... graph transformation systems has been developed [13] In this paper we concentrate on the structuring concept of transformation units [18, 17, 21]. A transformation unit consists of a set of graph transformation rules, a set of imported transformation units, a control...

Cited by:   More
Realizing UML Metamodel Transformations with AGG - Büttner, Gogolla (2004)   (Correct)
A Core Language for Graph Transformation (Extended Abstract) - Habel, Plump   (Correct)
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002)   (Correct)

Similar documents (at the sentence level):
45.2%:   On the Interleaving Semantics of Transformation Units - A.. - Kreowski, Kuske (1994)   (Correct)
32.4%:   Graph Transformation Units And Modules - Kreowski, Kuske (1999)   (Correct)
7.4%:   Graph Transformation for Specification and Programming - Marc Andries, Gregor.. (1996)   (Correct)

Active bibliography (related documents):   More   All
0.7:   Semantic Aspects of the Graph and Rule Centered Language GRACE - Kuske   (Correct)
0.6:   Computing by Graph Transformation - A Survey and Annotated.. - Ehrig, (eds.) (1996)   (Correct)
0.5:   More about control conditions for transformation units (Extended.. - Kuske (1998)   (Correct)

Similar documents based on text:   More   All
1.2:   Distributed Graph Transformation Units - Knirsch, Kuske (2002)   (Correct)
0.6:   A Formal Semantics of UML State Machines Based on Structured Graph .. - Kuske (2001)   (Correct)
0.5:   Modeling the Pickup-and-Delivery Problem with.. - Klempien-Hinrichs..   (Correct)

Related documents from co-citation:   More   All
20:   Handbook of Graph Grammars and Computing by Graph Transformation (context) - Ehrig, Kreowski et al. - 1999
7:   Handbook of Graph Grammars and Computing by Graph Transformation (context) - Rosenberg - 1997
7:   Hierarchical graph transformation - DREWES, HOFFMANN et al. - 2000

BibTeX entry:   (Update)

Hans-Jorg Kreowski and Sabine Kuske. Graph transformation units with interleaving semantics. Formal Aspects of Computing, 11(6):690-723, 1999. http://citeseer.ist.psu.edu/org99graph.html   More

@article{ kreowski99graph,
    author = "Hans-Jorg Kreowski and Sabine Kuske",
    title = "Graph Transformation Units with Interleaving Semantics",
    journal = "Formal Aspects of Computing",
    volume = "11",
    number = "6",
    pages = "690--723",
    year = "1999",
    url = "citeseer.ist.psu.edu/org99graph.html" }
Citations (may not include all citations):
134   Computational Aspects of VLSI (context) - Ullman - 1984
120   Regulated Rewriting in Formal Language Theory (context) - Dassow, Paun - 1989
116   Introduction to the algebraic theory of graph grammars (context) - Ehrig
79   Graph Grammars and Their Application to Computer Science (context) - Ehrig, Nagl et al. - 1987
79   Graph Grammars and Their Application to Computer Science and.. (context) - Claus, Ehrig et al. - 1979
79   Graph Grammars and Their Application to Computer Science (context) - Ehrig, Kreowski et al. - 1991
79   Graph Grammars and Their Application to Computer Science (context) - Ehrig, Nagl et al. - 1983
59   Graph grammars with negative application conditions - Habel, Heckel et al. - 1996
40   AGG --- an implementation of algebraic graph rewriting (context) - Lowe, Beyer - 1993
40   Algebraic approach to single-pushout graph transformation (context) - Lowe - 1993
28   the structure of node-labelcontrolled graph languages (context) - Janssens, Rozenberg - 1980
27   Dactl: An experimental graph rewriting language - Glauert, Kennaway et al.
27   Graph rewriting: An algebraic and logical approach (context) - Courcelle - 1990
24   Computing with graph rewriting systems with priorities (context) - Litovsky, M'etivier - 1993
24   Pragmatic and semantic aspects of a module concept for graph.. (context) - Ehrig, Engels
22   VLSI theory (context) - Lengauer - 1990
17   Operationales Spezifizieren mit programmierten Graphersetzun.. (context) - Schurr - 1991
17   Graph transformation for specification and programming - Andries, Engels et al. - 1996
17   PROGRES: A VHL-language based on graph grammars (context) - Schurr
16   another step towards a module concept for graph transformati.. (context) - Taentzer, Schurr - 1995
15   Graph grammars with application conditions (context) - Ehrig, Habel - 1986
14   Programmed graph grammars (context) - Bunke
14   Graph Grammars and Their Application to Computer Science (context) - Cuny, Ehrig et al. - 1996
12   Graph ed : An interactive tool for developing graph grammars (context) - Himsolt
11   the interleaving semantics of transformation units --- a ste.. (context) - Kreowski, Kuske
10   Nondeterministic control structures for graph rewriting syst.. (context) - Schurr, Zundorf - 1991
10   Amalgamated graph transformation systems and their use for s.. (context) - Taentzer, Beyer
10   On structured graph grammars (context) - Kreowski, Rozenberg - 1990
9   Graph-Grammatiken: Theorie (context) - Nagl - 1979
9   A kernel language for programmed rewriting (context) - Maggiolo-Schettini, Winkowski - 1996
7   Programmed derivations of relational structures (context) - Maggiolo-Schettini, Winkowski
7   Number 643 in Lecture Notes in Computer Science (context) - Habel, Grammars - 1992
6   Five facets of hyperedge replacement beyond contextfreeness (context) - Kreowski - 1993
6   Graph Transformations in Computer Science (context) - Schneider, Ehrig et al. - 1994
5   Programmed graph transformations and graph transformation un.. (context) - Schurr



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.informatik.uni-bremen.de/~kuske/):   More
On the Interleaving Semantics of Transformation Units - A.. - Kreowski, Kuske (1994)   (Correct)
Graph Transformation Units And Modules - Kreowski, Kuske (1999)   (Correct)
More about control conditions for transformation units (Extended.. - Kuske (1998)   (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