%0 Journal Article
%T Validation of Web Service Composition Based on Probabilistic Model Checking<br>基于概率模型检测的Web服务组合验证
%A WANG Jing
%A RONG Mei
%A ZHANG Guang-quan
%A ZHU Yi
%A <br>王晶
%A 戎玫
%A 张广泉
%A 祝义
%J 计算机科学
%D 2012
%I 
%X Web service composition validation is very important for improving the efficiency of software development.This paper presented a method based on probabilistic model checking to validate the service composition. We used an extended finite automaton to represent the service composition, and then converted it into a Markov model. A probabilistic model checker PRISM was used to validate the effectiveness of the service composition. Finally, we gave an example to illustrate the feasibility of this method.
%K Web service composition
%K Finite automata
%K Markov model
%K Probabilistic model checking<br>Web服务组合
%K 有限自动机
%K Markov模型
%K 概率模型检测
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=1A50AD49C0C94949DD18A18FBCCE4219&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=CA4FD0336C81A37A&sid=2B5DE8A23DCEED39&eid=AE09EACBCD1B2A13&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=10