摘要
研究移动网络的适变业务流程的建模和模型分析对于部署和执行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.
出处
《电子与信息学报》
EI
CSCD
北大核心
2013年第7期1760-1765,共6页
Journal of Electronics & Information Technology
基金
国家973规划项目(2009CB320406)
国家863计划项目(2011AA01A102)资助课题
关键词
移动网络
业务流程
马尔科夫决策过程
概率计算树逻辑
随机模型检测
Mobile network
Business process
Markov Decision Process(MDP)
Probabilistic computation tree logic
Probabilistic model checking