Software Architecture Design


Software architecture and design (Shaw and Garlan 1995) are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy to understand and are convenient to use, they are not amendable to automated verification and transformation. The developer has to rely on personal experience to discover errors and inconsistencies in the architecture/design diagrams. She also has to manually transform an architecture/design diagram while needed. These processes are tedious and error-prone. This chapter presents an approach that abstracts UML class diagrams and architecture styles into graph grammars. These grammars enable a high level of abstraction for the general organization of a class of software architectures, and form a basis for various analysis and transformations, in this approach, software verification is performed through a syntax analyzer. Architecture transformation is achieved by applying predefined transformation rules. In general, the presented approach facilitates the following aspects:
  • 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.


Unify Modeling Language Design Pattern Software Architecture Class Diagram Graph Transformation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2007

Personalised recommendations