BGG: A Graph Grammar Approach for Software Architecture Verification and Reconfiguration

Software architecture provides an high level abstraction of large software systems. While most of architecture description techniques are incapable of capturing the change in the definition of software architecture directly. This paper provides an graph grammar - Breeze Graph Grammar (BGG), to describe the software architecture in terms of graphs. These graph grammars give an appropriate basis for architecture reconfiguration and style verification. In this approach, the architecture change is implemented by applying the reconfiguration operations which performed through BGG transformation rules, and the style verification is statically checked through the style constraints productions. A Client/Server application for demonstrating our approach is also provided as a running example throughout this paper.