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

Publications Search - Details

Publication type: Article
Author: Berthold Hoffmann, Mark Minas
Title: Transformation of Shaped Nested Graphs and Diagrams
Volume: 59
Journal: Electronic Notes in Theoretical Computer Science
Number: 4
Year published: 2001
Abstract: This paper describes a new computational model for rule-based programming with graphs and diagrams. Using existing nesting concepts for graphs, this model defines an intuitive way of nested graph transformation that is based on variable matching. Shape rules are introduced for specifying structural consistency conditions on nested graphs. Shape rules set up a decidable type discipline for a refined model of shapely nested graph transformation. Since the refined model is compatible with the diagram editor DIAGEN, it can be extended by customizable diagram interfaces so that it specifies rule-based diagram transformation.
PDF Version: http://www.informatik.uni-bremen.de/~hofpapers/Hoffmann-Minas:01.pdf
Keywords: DIAPLAN
Status: Reviewed
Last updated: 20. 03. 2007

 Back to result list
Author: Automatically generated page
  Group BKB 
Last updated: February 23, 2006   impressum