|
|||||
|
|
| 基于马尔科夫决策过程的可适变业务流程建模及分析 | |
| 引用本文： | 张红霞,邹华,林荣恒,杨放春.基于马尔科夫决策过程的可适变业务流程建模及分析[J].电子与信息学报,2013(7). |
| 作者姓名： | 张红霞 邹华 林荣恒 杨放春 |
| 作者单位： | 1. 北京邮电大学网络与交换技术国家重点实验室 北京 100876; 中国石油大学计算机与通信工程学院 青岛 266580 2. 北京邮电大学网络与交换技术国家重点实验室 北京 100876 |
| 基金项目： | 国家973规划项目，国家863计划项目(2011AA 01A102)资助课题 |
| 摘 要： | 研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性，为可适变应用提供了候选集合，使得业务流程能够根据环境的变化动态地进行适变。为了有效地对适变业务流程实例进行分析，该文提出基于马尔科夫决策过程模型的适变业务流程建模方法，采用随机模型检测技术对模型的合理性进行验证和预测。针对具体实例，采用该文提出的方法对视频传输应用进行建模和分析验证，实验结果表明，该文为适变业务流程的建模和分析验证提供了一种有效的方法。 |
| 关 键 词： | 移动网络 业务流程 马尔科夫决策过程 概率计算树逻辑 随机模型检测 |
Adaptive Business Process Modeling and Analyzing Based on Markov Decision Process |
|
| Zhang Hong-xia , Zou Hua , Lin Rong-heng , Yang Fang-chun.Adaptive Business Process Modeling and Analyzing Based on Markov Decision Process[J].Journal of Electronics & Information Technology,2013(7). | |
| Authors: | Zhang Hong-xia Zou Hua Lin Rong-heng Yang Fang-chun |
| Abstract: | |
| Keywords: | Mobile network Business process Markov Decision Process (MDP) Probabilistic computation tree logic Probabilistic model checking |
| 本文献已被 万方数据 等数据库收录！ | |