### Abstract

Transformational design integrates design and verification. It combines “correctness by construction” and design creativity by the use of pre-proven behaviour preserving transformations as design steps. The formal aspects of this methodology are hidden in the transformations. A constraint is the availability of a design representation with a compositional formal semantics. Graph representations are useful design representations because of their visualisation of design information. In this paper graph rewriting theory, as developed in the last twenty years in mathematics, is shown to be a useful basis for a formal framework for transformational design. The semantic aspects of graphs which are no part of graph rewriting theory are included by the use of attributed graphs. The used attribute algebra, table algebra, is a relation algebra derived from database theory. The combination of graph rewriting, table algebra and transformational design is new.

Original language | Undefined |
---|---|

Title of host publication | Proceedings Euromicro'96 |

Place of Publication | Prague, Czech Republic |

Publisher | IEEE |

Pages | 177-184 |

ISBN (Print) | 0-8186-7487-3 |

DOIs | |

Publication status | Published - 12 Feb 1996 |

Event | 22nd Euromicro Conference 1996 - Prague, Czech Republic Duration: 2 Sep 1996 → 5 Sep 1996 Conference number: 22 |

### Publication series

Name | |
---|---|

Publisher | IEEE |

### Conference

Conference | 22nd Euromicro Conference 1996 |
---|---|

Country | Czech Republic |

City | Prague |

Period | 2/09/96 → 5/09/96 |

### Keywords

- METIS-119454
- IR-18932

## Cite this

Huijs, C. (1996). A Graph Rewriting Approach for Transformational Design of Digital Systems. In

*Proceedings Euromicro'96*(pp. 177-184). Prague, Czech Republic: IEEE. https://doi.org/10.1109/EURMIC.1996.546380