Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Reiko Heckel, Berthold Hoffmann, Peter Knirsch, Sabine Kuske
Editor: Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski
Title: Simple Modules for GRACE
Book / Collection title: Theory and Application of Graph Transformation (TAGT'98), Selected Papers
Page(s): 383 – 395
Series: Lecture Notes in Computer Science
Number: 1764
Year published: 2000
Publisher: Springer-Verlag, D-69121 Heidelberg, Germany
Abstract: The language GRACE is being proposed for specifying and programming in a graph-centered environment based on graph transformation. Emphasis in the design of GRACE is laid on modular structuring of programs. In this paper we present a simple kind of modules for the language which encapsulate rules and graph transformation units, and export some of them. The local transformation units define compound graph transformations that call rules and other transformation units which are either defined by the surrounding module, or imported from other modules. The interleaving semantics of modules specifies a binary relation on graphs for each exported item.
PDF Version: http://www.informatik.uni-bremen.de/~hof/papers/TAGT99.pdf
PostScript Version: http://www.informatik.uni-bremen.de/~hof/papers/TAGT99.ps.gz
Keywords: GRACE
Status: Reviewed
Last updated: 18. 03. 2004

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum