%0 Journal Article
%T Research on Verification of Web Service Composition Based on uMSD<br>基于uMSD的Web服务组合验证方法研究
%A WANG Zhi-jian LI Wen-rui
%A YANG Ghong-xue
%A ZHANG Peng-cheng
%A <br>王志坚
%A 李雯睿
%A 杨种学
%A 张鹏程
%J 计算机科学
%D 2011
%I 
%X In order to solve the problem that analyzing the composite services by manual is rather difficult and time-consuming, an approach was proposed to verify composite services by model checking based on uMSD. How to represent the temporal properties of the composite service easily and intuitively is a critical issue of the approach. Because uMSD finds a balance between simplicity of use and expressiveness, the paper defined the formal syntax and semantics of uMSD. In the paper, uMSD was used to graphically represent the temporal properties of a composite service On-the-Job Assistant as a case study, presenting the feasibility of uMSI).A series of experiments show the approach can effectively detect the logical errors in the composite service.
%K Modal sequence diagram
%K Web service composition
%K Model checking<br>模态顺序图，Web服务组合，模型检验
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A72829DDE955E0D2BBFFC3680CFFF3E1&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=9CF7A0430CBB2DFD&sid=EFD65B51496FB200&eid=F122871CC7EC92DC&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0