Title :
Efficient Evaluation of CSAN Models by State Space Analysis Methods
Author :
Azgomi, Mohammad Abdollahi ; Movaghar, Ali
Author_Institution :
Iran University of Science and Technology, Iran
Abstract :
We have recently introduced a high-level extension for stochastic activity networks (SANs) called coloured stochastic activity networks (CSANs). CSANs have several distinguishing properties, which make them quite appropriate for modeling and evaluation of software performance and dependability. CSANs have introduced a construct called coloured place for data manipulation. A coloured place holds a list of tokens of a userdefined token type. CSAN models can be evaluated by state space analysis techniques or discrete-event simulation. However, their state spaces will become very large, even for a small CSAN model. For efficient evaluation of these models by state space analysis methods, we will introduce measure-adaptive state space analysis process in this paper. Based on this method, it is possible to construct high-level CSAN models. However, for efficient evaluation, it is possible to generate and analyze a reduced state space based on user-specified performance or dependability measures.
Keywords :
Computer networks; Discrete event simulation; Electronic mail; Performance analysis; Petri nets; Power system modeling; Software performance; Space technology; State-space methods; Stochastic processes; Petri nets; coloured stochastic activity networks; performance evaluation; state space analysis techniques;
Conference_Titel :
Software Engineering Advances, International Conference on
Conference_Location :
Tahiti
Print_ISBN :
0-7695-2703-5
DOI :
10.1109/ICSEA.2006.261313