An approach to modelling and evaluating AGG based reliable software systems

Chen Li; Linpeng Huang; Luxi Chen; Xiwen Wu

doi:10.1109/TASE.2014.22

An approach to modelling and evaluating AGG based reliable software systems

Chen Li, Linpeng Huang, Luxi Chen, Xiwen Wu

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Abstract

AGG is a well established development environment which is used to model software systems in terms of graphs. Though AGG provides an appropriate basis for system modelling and verification, it can neither analyze nor evaluate the system reliability. In this paper, we propose an AGG-based strategy which, by combining generalized stochastic petri net (GSPN) and tools for reliability analysis, supports software system reliability modelling and evaluation. This work expands this idea in three directions: First, we give an AGG reliability model in which we add error attribute to AGG graph for capturing system error information, and at the same time performing the system error state transition through the AGG production. Second, we present how to map rules from the AGG reliability model into the GSPN one, which in turn can be used for reliability evaluation. The other direction is to use a Client/Server application to demonstrate our approach.

Original language	English
Title of host publication	Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014
Number of pages	4
Publisher	IEEE
Publication date	1 Jan 2014
Pages	122-125
Article number	6976577
ISBN (Electronic)	9781479950294
DOIs	https://doi.org/10.1109/TASE.2014.22
Publication status	Published - 1 Jan 2014
Externally published	Yes
Event	8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014 - Changsha, China Duration: 1 Sept 2014 → 3 Sept 2014

Conference

Conference	8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014
Country/Territory	China
City	Changsha
Period	01/09/2014 → 03/09/2014

Keywords

AGG
GSPN
Reliability
Software Modelling

Access to Document

10.1109/TASE.2014.22

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{5a376bb7bcb44f02970a33cd5d495489,

title = "An approach to modelling and evaluating AGG based reliable software systems",

abstract = "AGG is a well established development environment which is used to model software systems in terms of graphs. Though AGG provides an appropriate basis for system modelling and verification, it can neither analyze nor evaluate the system reliability. In this paper, we propose an AGG-based strategy which, by combining generalized stochastic petri net (GSPN) and tools for reliability analysis, supports software system reliability modelling and evaluation. This work expands this idea in three directions: First, we give an AGG reliability model in which we add error attribute to AGG graph for capturing system error information, and at the same time performing the system error state transition through the AGG production. Second, we present how to map rules from the AGG reliability model into the GSPN one, which in turn can be used for reliability evaluation. The other direction is to use a Client/Server application to demonstrate our approach.",

keywords = "AGG, GSPN, Reliability, Software Modelling",

author = "Chen Li and Linpeng Huang and Luxi Chen and Xiwen Wu",

year = "2014",

month = jan,

day = "1",

doi = "10.1109/TASE.2014.22",

language = "English",

pages = "122--125",

booktitle = "Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014",

publisher = "IEEE",

address = "United States",

note = "8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014 ; Conference date: 01-09-2014 Through 03-09-2014",

}

Li, C, Huang, L, Chen, L & Wu, X 2014, An approach to modelling and evaluating AGG based reliable software systems. in Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014., 6976577, IEEE, pp. 122-125, 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014, Changsha, China, 01/09/2014. https://doi.org/10.1109/TASE.2014.22

An approach to modelling and evaluating AGG based reliable software systems. / Li, Chen; Huang, Linpeng; Chen, Luxi et al.
Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014. IEEE, 2014. p. 122-125 6976577.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - An approach to modelling and evaluating AGG based reliable software systems

AU - Li, Chen

AU - Huang, Linpeng

AU - Chen, Luxi

AU - Wu, Xiwen

PY - 2014/1/1

Y1 - 2014/1/1

N2 - AGG is a well established development environment which is used to model software systems in terms of graphs. Though AGG provides an appropriate basis for system modelling and verification, it can neither analyze nor evaluate the system reliability. In this paper, we propose an AGG-based strategy which, by combining generalized stochastic petri net (GSPN) and tools for reliability analysis, supports software system reliability modelling and evaluation. This work expands this idea in three directions: First, we give an AGG reliability model in which we add error attribute to AGG graph for capturing system error information, and at the same time performing the system error state transition through the AGG production. Second, we present how to map rules from the AGG reliability model into the GSPN one, which in turn can be used for reliability evaluation. The other direction is to use a Client/Server application to demonstrate our approach.

AB - AGG is a well established development environment which is used to model software systems in terms of graphs. Though AGG provides an appropriate basis for system modelling and verification, it can neither analyze nor evaluate the system reliability. In this paper, we propose an AGG-based strategy which, by combining generalized stochastic petri net (GSPN) and tools for reliability analysis, supports software system reliability modelling and evaluation. This work expands this idea in three directions: First, we give an AGG reliability model in which we add error attribute to AGG graph for capturing system error information, and at the same time performing the system error state transition through the AGG production. Second, we present how to map rules from the AGG reliability model into the GSPN one, which in turn can be used for reliability evaluation. The other direction is to use a Client/Server application to demonstrate our approach.

KW - AGG

KW - GSPN

KW - Reliability

KW - Software Modelling

U2 - 10.1109/TASE.2014.22

DO - 10.1109/TASE.2014.22

M3 - Article in proceeding

AN - SCOPUS:84920494187

SP - 122

EP - 125

BT - Proceedings - 2014 International Symposium on Theoretical Aspects of Software Engineering, TASE 2014

PB - IEEE

T2 - 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014

Y2 - 1 September 2014 through 3 September 2014

ER -

An approach to modelling and evaluating AGG based reliable software systems

Abstract

Conference

Keywords

Access to Document

AUB Link

Fingerprint

Cite this