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

Adaptive Business Process Modeling and Analyzing Based on Markov Decision Process

作　　者：张红霞[1,2] 邹华[1] 林荣恒[1] 杨放春[1] 

机构地区：[1]北京邮电大学网络与交换技术国家重点实验室,北京100876 [2]中国石油大学计算机与通信工程学院,青岛266580

出　　处：《电子与信息学报》2013年第7期1760-1765,共6页Journal of Electronics & Information Technology

基　　金：国家973规划项目(2009CB320406);国家863计划项目(2011AA01A102)资助课题

摘　　要：研究移动网络的适变业务流程的建模和模型分析对于部署和执行Web服务应用有着重要的意义。该文通过定义业务流程的相似性及数据类型的相容性,为可适变应用提供了候选集合,使得业务流程能够根据环境的变化动态地进行适变。为了有效地对适变业务流程实例进行分析,该文提出基于马尔科夫决策过程模型的适变业务流程建模方法,采用随机模型检测技术对模型的合理性进行验证和预测。针对具体实例,采用该文提出的方法对视频传输应用进行建模和分析验证,实验结果表明,该文为适变业务流程的建模和分析验证提供了一种有效的方法。Research on modeling and analyzing adaptive business processes based on Web services is very important for developing and deploying applications in the mobile Internet.In order to modeling and verifying the reliability and adaptability of services effectively,in this paper,a probabilistic approach is proposed to formally describe and analyze the reliability properties of adaptive business processes.First,based on the semantic similarity of services and compatibility of data types,which provide candidate set for the adaptable application,and business processes can be adaptive according to the change of circumstance.Then,the probabilistic model checking is used to analyse the soundness and reliability of adaptive business processes.Finally,an video transfer application is modeled and verified based on the proposed method,which shows that the approach provides an effective underlying guideline for modeling and analyzing adaptive applications in the mobile Internet.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]