Evaluation of Software Architectures Reliability Based on Hypergraph Grammar

Reliability is becoming a more and more important concern for software architectures. Previous efforts mainly use the reliability model to predict the software reliability at architecture level, but most of these work do not give the formal description of software architecture. Meanwhile, many approaches have been proposed to specify software architecture, unfortunately, few of them pay attention to reliability. In this paper, we try to bridge the gap between software architecture description and reliability model. Our work expands such idea in two directions. Firstly, we propose a reliable hypergraph grammar by extending hyperedge. Secondly, we describe the software architecture by using our reliable hypergraph grammar and predict the reliability of software architecture through the state based reliability model.