Adaptive Business Process Modeling and Analyzing Based on Markov Decision Process
Zhang Hong-xia①② Zou Hua① Lin Rong-heng① Yang Fang-chun①
①(State Key Laboratory of Networking & Switching Technology, Beijing University of Posts & Telecommunications, Beijing 100876, China) ②(College of Computer & Communication Engineering, China University of Petroleum, Qingdao 266580, China)
Abstract：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.
张红霞, 邹华, 林荣恒, 杨放春. 基于马尔科夫决策过程的可适变业务流程建模及分析[J]. 电子与信息学报, 2013, 35(7): 1760-1765.
Zhang Hong-Xia, Zou Hua, Lin Rong-Heng, Yang Fang-Chun. Adaptive Business Process Modeling and Analyzing Based on Markov Decision Process. , 2013, 35(7): 1760-1765.
2013, Vol. 35 
