Sciweavers

Share
EUROMICRO
1996
IEEE

A Graph Rewriting Approach for Transformational Design of Digital Systems

9 years 2 months ago
A Graph Rewriting Approach for Transformational Design of Digital Systems
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-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 form1 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 graph which are nopart of graph rewriting theory are included by the use of attributed graph. 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.
Corrie Huijs
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where EUROMICRO
Authors Corrie Huijs
Comments (0)
books