An Approach to Modelling and Analysing Reliability of Breeze/ADL-based Software Architecture
An Approach to Modelling and Analysing Reliability of Breeze/ADL-based Software Architecture作者机构:Centre for Creative Computing Bath Spa University UK College of Computer Science and Technology Jilin University Changchun 130012 China
出 版 物:《International Journal of Automation and computing》 (国际自动化与计算杂志(英文版))
年 卷 期:2017年第14卷第3期
页 面:275-284页
核心收录:
学科分类:08[工学] 0802[工学-机械工程] 0835[工学-软件工程] 0701[理学-数学] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)] 081202[工学-计算机软件与理论]
基 金:supported by Jilin Province Science Foundation for Youths(No.20150520060JH)
主 题:Software architecture reliability Breeze/architecture description language(ADL) generalized stochastic Petri net(GSPN) Breeze graph grammar
摘 要:Breeze/architecture description language(ADL), is an eX tensible 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 ***: 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