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

摘要：

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

关键词：移动网络、业务流程、马尔科夫决策过程、概率计算树逻辑、随机模型检测

分类号：TP393(计算技术、计算机技术)

资助基金：国家973规划项目2009CB320406;国家863计划项目2011AA 01A102资助课题

在线出版日期：2013-08-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1760-1765