Graphs are used to specify software by distinguishing individual components and their relationships. Using graph grammars as design policies, the presented approach provides a powerful mechanism for syntactic checking and verification, which are not supported by most current tools.
In addition to software design and vérification, the presented approach facilitates a high level of software reuse by supporting the composition of design patterns, and uses graph rewriting techniques in assisting the transformation of software architectures and in reusing the existing products.
KeywordsUnify Modeling Language Design Pattern Software Architecture Class Diagram Graph Transformation
Unable to display preview. Download preview PDF.