随机进程代数IMCs的性能评价

Performance evaluation for IMCs of stochastic process algebra

将马尔可夫路径概率计算方法推广到随机进程代数:交互式马尔科夫链(IMCs)模型上.由于IMCs中存在动作转移和概率转移,两种不同性质的转移破坏了系统的稳定性,因此在IMCs的性能刻画中,去掉系统的稳态性刻画,给出动作和概率转移共存的IMCs模型的路径定义和基于概率转移率的路径转移发生的概率计算方法,解决了Until算子的描述.使用基于动作的逻辑aCSL给出IMCs的性能评价.证明该方法的正确性,它是纯马尔可夫链模型中性能评价方法的扩展.

The computation method of Markov chains path probability was generalized to be used on the interactive Markov chains （IMCs） of stochastic process algebra. Since there were two different kinds of transition-action-based transition and Markov transition, the system stability could be destroyed. Therefore, the characterization of system stability was given up for that of IMCs performance, and the path definition of IMCs model with coexisting action-base transition and Markov transition was given together with a computation procedure of the path transition occurrence on the basis of the probability transition rate, so that the characterization of the Until operator was realized. By using the action-based logic aCSL, the performance evaluation of IMCs was given. The validity of the method presented was verified and this method was the generalization of the performance evaluation method for the true Markov chains model.