TY - JOUR
T1 - An approach to modelling and analysing reliability of Breeze/ADL-based software architecture
AU - Li, Chen
AU - Yang, Hong Ji
AU - Liu, Hua Xiao
PY - 2017/6/1
Y1 - 2017/6/1
N2 - Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net (GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN (Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2 (PIPE2) to carry out a reliability assessment.
AB - Breeze/architecture description language (ADL), is an eXtensible markup language (XML) based architecture description language which is used to model software systems at the architecture level. Though Breeze/ADL provides an appropriate basis for architecture modelling, it can neither analyse nor evaluate the architecture reliability. In this paper, we propose a Breeze/ADL based strategy which, by combining generalized stochastic Petri net (GSPN) and tools for reliability analysis, supports architecture reliability modelling and evaluation. This work expands the idea in three directions: Firstly, we give a Breeze/ADL reliability model in which we add error attributes to Breeze/ADL error model for capturing architecture error information, and at the same time perform the system error state transition through the Breeze/ADL production. Secondly, we present how to map a Breeze/ADL reliability model to a GSPN model, which in turn can be used for reliability analysis. The other task is to develop a Breeze/ADL reliability analysis modelling tool–EXGSPN (Breeze/ADL reliability analysis modelling tool), and combine it with platform independent petri net editor 2 (PIPE2) to carry out a reliability assessment.
KW - Breeze graph grammar
KW - Breeze/architecture description language (ADL)
KW - generalized stochastic Petri net (GSPN)
KW - reliability
KW - Software architecture
UR - http://www.scopus.com/inward/record.url?scp=85009830124&partnerID=8YFLogxK
U2 - 10.1007/s11633-016-1044-9
DO - 10.1007/s11633-016-1044-9
M3 - Journal article
AN - SCOPUS:85009830124
SN - 1476-8186
VL - 14
SP - 275
EP - 284
JO - International Journal of Automation and Computing
JF - International Journal of Automation and Computing
IS - 3
ER -