论文部分内容阅读
由于设备、资源和传输等不能保证具有绝对的可靠运行性,所以理论上满足用户需求的模型在实际运行中也会出现一些偏差。为了定量地衡量这种偏差,提升用户对模型的信任程度,文章提出了利用马尔科夫决策过程Markov Decision Processes（MDP）和PRISM定量地研究反应式系统的可靠性以及利用预测结果为用户选择适当的服务。实验结果表明：该方法能尽早地对系统模型进行评估,能为用户进行“按需选择服务”提供帮助和决策,具有一定的实用性。