基于马尔科夫决策过程的可适变业务流程建模及分析

作者：张红霞; 邹华; 林荣恒; 杨放春

来源：电子与信息学报, 2013, (07): 1760-1765.

• 移动网络
• 业务流程
• 马尔科夫决策过程
• 概率计算树逻辑
• 随机模型检测 Mobile network
• Business process
• Markov Decision Process(MDP)
• Probabilistic computation tree logic
• Probabilistic model checking

研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性,为可适变应用提供了候选集合,使得业务流程能够根据环境的变化动态地进行适变。为了有效地对适变业务流程实例进行分析,该文提出基于马尔科夫决策过程模型的适变业务流程建模方法,采用随机模型检测技术对模型的合理性进行验证和预测。针对具体实例,采用该文提出的方法对视频传输应用进行建模和分析验证,实验结果表明,该文为适变业务流程的建模和分析验证提供了一种有效的方法。

• 单位
  北京邮电大学; 网络与交换技术国家重点实验室